===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v
retrieving revision 1.35
retrieving revision 1.38
diff -u -p -r1.35 -r1.38
--- OpenXM_contrib2/asir2000/builtin/ctrl.c	2005/02/17 03:12:19	1.35
+++ OpenXM_contrib2/asir2000/builtin/ctrl.c	2007/01/25 16:19:40	1.38
@@ -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.34 2004/12/15 22:51:40 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.37 2006/05/30 07:35:30 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -62,7 +62,7 @@ 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;
-extern int do_message;
+extern int do_message,do_terse;
 extern int ox_batch,ox_check,ox_exchange_mathcap;
 extern int f4_nocheck;
 extern int StrassenSize;
@@ -73,6 +73,7 @@ extern int real_binary;
 extern int allow_laurent;
 #if defined(INTERVAL)
 extern int zerorewrite;
+extern int Itvplot;
 #endif
 extern int double_output;
 extern int use_new_hensel;
@@ -82,6 +83,7 @@ extern Obj user_defined_prompt;
 extern int asir_setenv;
 extern int show_orderspec;
 extern int no_debug_on_error;
+extern int diag_period;
 
 static struct {
 	char *key;
@@ -100,6 +102,7 @@ static struct {
 	{"hex",&hex_output},
 	{"debug_window",&do_server_in_X11},
 	{"message",&do_message},
+	{"terse",&do_terse},
 	{"debug_up",&debug_up},
 	{"no_prompt",&do_quiet},
 	{"asir_setenv",&asir_setenv},
@@ -119,8 +122,10 @@ static struct {
 	{"allow_laurent",&allow_laurent},
 	{"show_orderspec",&show_orderspec},
 	{"no_debug_on_error",&no_debug_on_error},
+	{"diag_period",&diag_period},
 #if defined(INTERVAL)
 	{"zerorewrite",&zerorewrite},
+	{"itvplotsize",&Itvplot},
 #endif
 	{0,0},
 };