===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/glob.c,v
retrieving revision 1.12
retrieving revision 1.14
diff -u -p -r1.12 -r1.14
--- OpenXM_contrib2/asir2000/parse/glob.c	2000/12/05 01:24:57	1.12
+++ OpenXM_contrib2/asir2000/parse/glob.c	2001/03/08 07:49:13	1.14
@@ -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/parse/glob.c,v 1.11 2000/11/08 06:21:18 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/glob.c,v 1.13 2000/12/22 10:03:31 saito Exp $ 
 */
 #include "ca.h"
 #include "al.h"
@@ -219,6 +219,12 @@ int status;
 			fputc(0xff,asir_out);
 		if ( asir_out )
 			fflush(asir_out);
+#if FEP
+		if ( do_fep ) {
+			stifle_history(MAXHIST);
+			write_history(asir_history);
+		}
+#endif
 		ExitAsir();
 	}
 }
@@ -297,6 +303,10 @@ char **av;
 		} else if ( !strcmp(*av,"-display") && (ac >= 2) ) {
 			strcpy(displayname,*(av+1)); av += 2; ac -= 2;
 #endif
+#if FEP
+		} else if ( !strcmp(*av,"-fep") ) {
+			do_fep = 1; av++; ac--;
+#endif
 #if PARI
 		} else if ( !strcmp(*av,"-paristack") ) {
 			extern int paristack;
@@ -308,6 +318,17 @@ char **av;
 			asir_terminate(1);
 		}
 	}
+#if FEP
+	if ( do_fep ) {
+		char *home;
+		home = (char *)getenv("HOME");
+		if (!home)
+			home = ".";
+		sprintf (asir_history, "%s/.asir_history",home);
+		read_history(asir_history);
+		using_history();
+	}
+#endif
 }
 
 #include <signal.h>
@@ -644,10 +665,16 @@ void reset_timer()
 #endif
 
 unsigned int get_asir_version();
+char *get_asir_distribution();
 
 void copyright() {
-	printf("This is Risa/Asir, Version %d.\n",get_asir_version());
-	printf("Copyright (C) FUJITSU LABORATORIES LIMITED.\n");
-	printf("1994-2000. All rights reserved.\n");
+	printf("This is Risa/Asir, Version %d (%s Distribution).\n",
+		get_asir_version(), get_asir_distribution());
+	printf("Copyright (C) 1994-2000, all rights reserved, FUJITSU LABORATORIES LIMITED.\n");
+	printf("Copyright 2000,2001, Risa/Asir committers, http://www.openxm.org/.\n");
+	printf("GC 5.3, copyright 1999, H-J. Boehm, A. J. Demers, Xerox, SGI, HP.\n");
+	printf("PARI 2.0.17(beta), copyright (C) 1989-1999,\n");
+	printf("     C. Batut, K. Belabas, D. Bernardi, H. Cohen and M. Olivier.\n");
 }
+