===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/builtin/ctrl.c,v
retrieving revision 1.29
retrieving revision 1.32
diff -u -p -r1.29 -r1.32
--- OpenXM_contrib2/asir2000/builtin/ctrl.c	2004/03/02 07:44:02	1.29
+++ OpenXM_contrib2/asir2000/builtin/ctrl.c	2004/09/15 06:06:41	1.32
@@ -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.28 2004/01/07 06:25:42 ohara Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/builtin/ctrl.c,v 1.31 2004/08/18 00:17:02 noro Exp $ 
 */
 #include "ca.h"
 #include "parse.h"
@@ -54,7 +54,7 @@ void Pctrl();
 
 struct ftab ctrl_tab[] = {
 	{"ctrl",Pctrl,-2},
-	{"asir_setenv",Pctrl,-2},
+	{"asir_env",Pctrl,-2},
 	{0,0,0},
 };
 
@@ -69,6 +69,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
@@ -78,6 +79,7 @@ extern int print_quote;
 extern int show_crossref;
 extern Obj user_defined_prompt;
 extern int asir_setenv;
+extern int show_orderspec;
 
 static struct {
 	char *key;
@@ -111,6 +113,8 @@ static struct {
 	{"new_hensel",&use_new_hensel},
 	{"print_quote",&print_quote},
 	{"show_crossref",&show_crossref},
+	{"allow_laurent",&allow_laurent},
+	{"show_orderspec",&show_orderspec},
 #if defined(INTERVAL)
 	{"zerorewrite",&zerorewrite},
 #endif