===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v
retrieving revision 1.8
retrieving revision 1.20
diff -u -p -r1.8 -r1.20
--- OpenXM_contrib2/asir2000/builtin/ctrl.c	2000/08/21 08:31:19	1.8
+++ OpenXM_contrib2/asir2000/builtin/ctrl.c	2003/05/16 07:56:14	1.20
@@ -23,7 +23,7 @@
  * shall be made on your publication or presentation in any form of the
  * results obtained by use of the SOFTWARE.
  * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
- * e-mail at risa-admin@flab.fujitsu.co.jp of the detailed specification
+ * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
  * for such modification or the source code of the modified part of the
  * SOFTWARE.
  * 
@@ -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.7 2000/04/05 08:32:16 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.19 2003/03/07 06:39:54 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -63,8 +63,16 @@ extern int GC_max_heap_size,Verbose,hideargs,hex_outpu
 extern int do_message;
 extern int ox_batch,ox_check,ox_exchange_mathcap;
 extern int f4_nocheck;
+extern int StrassenSize;
 extern int fortran_output;
-extern int do_weyl;
+extern int real_digit;
+#if defined(INTERVAL)
+extern int zerorewrite;
+#endif
+extern int double_output;
+extern int use_new_hensel;
+extern int print_quote;
+extern int show_crossref;
 
 static struct {
 	char *key;
@@ -73,7 +81,7 @@ static struct {
 	{"cputime",&prtime},
 	{"nez",&nez},
 	{"echo",&echoback},
-#if DO_PLOT
+#if defined(DO_PLOT)
 	{"bigfloat",&bigfloat},
 #endif
 	{"verbose",&Verbose},
@@ -87,8 +95,16 @@ static struct {
 	{"ox_check",&ox_check},
 	{"ox_exchange_mathcap",&ox_exchange_mathcap},
 	{"f4_nocheck",&f4_nocheck},
+	{"StrassenSize",&StrassenSize},
+	{"double_output",&double_output},
+	{"real_digit",&real_digit},
 	{"fortran_output",&fortran_output},
-	{"do_weyl",&do_weyl},
+	{"new_hensel",&use_new_hensel},
+	{"print_quote",&print_quote},
+	{"show_crossref",&show_crossref},
+#if defined(INTERVAL)
+	{"zerorewrite",&zerorewrite},
+#endif
 	{0,0},
 };