===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/parser.c,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -p -r1.6 -r1.7
--- OpenXM_contrib2/asir2000/parse/parser.c	2003/06/07 16:40:26	1.6
+++ OpenXM_contrib2/asir2000/parse/parser.c	2004/02/27 09:13:04	1.7
@@ -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/parser.c,v 1.5 2002/12/09 00:42:15 noro Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/parser.c,v 1.6 2003/06/07 16:40:26 saito Exp $ 
 */
 #include <ctype.h>
 #include "ca.h"
@@ -147,6 +147,7 @@ void read_eval_loop() {
 	double r0,r1;
 	double get_rtime();
 	extern Obj LastVal;
+	extern int asir_texmacs;
 
 	LastVal = 0;
 	while ( 1 ) {
@@ -160,18 +161,23 @@ void read_eval_loop() {
 		r1 = get_rtime();
 		if ( !ox_do_copy ) {
 			if ( prresult ) {
-				if ( user_print_function )
+				if ( user_print_function ) {
 					bevalf(user_print_function,mknode(1,LastVal));
-				else
+					fflush(asir_out);
+				} else
 					printexpr(CO,LastVal);
+				if ( asir_texmacs ) printf("\2verbatim:");
 				if ( outputstyle == 1 ) {
 					putc(';',asir_out);
 				}
 				putc('\n',asir_out);
 				fflush(asir_out);
+				if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
 			}
 			if ( prtime ) {
+				if ( asir_texmacs ) printf("\2verbatim:");
 				printtime(&egt0,&egt1,r1-r0);
+				if ( asir_texmacs ) { putchar('\5'); fflush(stdout); }
 			}
 			prompt();
 		}