===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v
retrieving revision 1.27
retrieving revision 1.34
diff -u -p -r1.27 -r1.34
--- OpenXM_contrib2/asir2000/builtin/ctrl.c	2003/12/02 06:56:47	1.27
+++ OpenXM_contrib2/asir2000/builtin/ctrl.c	2004/12/15 22:51:40	1.34
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * 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.33 2004/11/24 06:01:04 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -54,9 +54,11 @@ void Pctrl();
 
 struct ftab ctrl_tab[] = {
 	{"ctrl",Pctrl,-2},
+	{"asir_env",Pctrl,-2},
 	{0,0,0},
 };
 
+extern int error_in_timer;
 extern int prtime,nez,echoback,bigfloat;
 extern int GC_free_space_numerator,GC_free_space_divisor,debug_up;
 extern int GC_max_heap_size,Verbose,hideargs,hex_output,do_server_in_X11;
@@ -68,6 +70,7 @@ extern int outputstyle;
 extern int fortran_output;
 extern int real_digit;
 extern int real_binary;
+extern int allow_laurent;
 #if defined(INTERVAL)
 extern int zerorewrite;
 #endif
@@ -76,11 +79,15 @@ extern int use_new_hensel;
 extern int print_quote;
 extern int show_crossref;
 extern Obj user_defined_prompt;
+extern int asir_setenv;
+extern int show_orderspec;
+extern int no_debug_on_error;
 
 static struct {
 	char *key;
 	int *val;
 } ctrls[] = {
+	{"error_in_timer",&error_in_timer},
 	{"cputime",&prtime},
 	{"nez",&nez},
 	{"echo",&echoback},
@@ -95,6 +102,7 @@ static struct {
 	{"message",&do_message},
 	{"debug_up",&debug_up},
 	{"no_prompt",&do_quiet},
+	{"asir_setenv",&asir_setenv},
 	{"ox_batch",&ox_batch},
 	{"ox_check",&ox_check},
 	{"ox_exchange_mathcap",&ox_exchange_mathcap},
@@ -108,6 +116,9 @@ static struct {
 	{"new_hensel",&use_new_hensel},
 	{"print_quote",&print_quote},
 	{"show_crossref",&show_crossref},
+	{"allow_laurent",&allow_laurent},
+	{"show_orderspec",&show_orderspec},
+	{"no_debug_on_error",&no_debug_on_error},
 #if defined(INTERVAL)
 	{"zerorewrite",&zerorewrite},
 #endif