version 1.27, 2003/12/02 06:56:47 |
version 1.28, 2004/01/07 06:25:42 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.26 2003/10/21 04:28:48 takayama Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.27 2003/12/02 06:56:47 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 76 extern int use_new_hensel; |
|
Line 76 extern int use_new_hensel; |
|
extern int print_quote; |
extern int print_quote; |
extern int show_crossref; |
extern int show_crossref; |
extern Obj user_defined_prompt; |
extern Obj user_defined_prompt; |
|
extern int asir_setenv; |
|
|
static struct { |
static struct { |
char *key; |
char *key; |
|
|
{"message",&do_message}, |
{"message",&do_message}, |
{"debug_up",&debug_up}, |
{"debug_up",&debug_up}, |
{"no_prompt",&do_quiet}, |
{"no_prompt",&do_quiet}, |
|
{"asir_setenv",&asir_setenv}, |
{"ox_batch",&ox_batch}, |
{"ox_batch",&ox_batch}, |
{"ox_check",&ox_check}, |
{"ox_check",&ox_check}, |
{"ox_exchange_mathcap",&ox_exchange_mathcap}, |
{"ox_exchange_mathcap",&ox_exchange_mathcap}, |