===================================================================
RCS file: /home/cvs/OpenXM/src/OpenMath/todo.txt,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- OpenXM/src/OpenMath/todo.txt	1999/12/16 02:11:14	1.1
+++ OpenXM/src/OpenMath/todo.txt	2000/01/19 13:22:26	1.2
@@ -1,6 +1,4 @@
-$OpenXM$
-
-* ignore ctrl-C.
+$OpenXM: OpenXM/src/OpenMath/todo.txt,v 1.1 1999/12/16 02:11:14 takayama Exp $
 
 * Turn on and off debug messages.