===================================================================
RCS file: /home/cvs/OpenXM/src/ox_cdd/README,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -p -r1.3 -r1.4
--- OpenXM/src/ox_cdd/README	2005/10/10 07:29:40	1.3
+++ OpenXM/src/ox_cdd/README	2005/10/12 04:03:37	1.4
@@ -4,14 +4,7 @@
 		   'make install' installs ox_cdd, ox_cddgmp, ox_sres and ox_sresgmp
 		   in OpenXM_HOME/lib and creates s-link from lib/asir.
 
-2005/10/10 BUG: The new mathcap implementation of the ox_toolkit is 
-                not compatible with ox_cdd. Checkout the old version.
-           rm -rf OpenXM/src/ox_toolkit
-           rcvs checkout -D 'July 20 0:0:0 2005' OpenXM/src/ox_toolkit
-           (cd OpenXM/src ; make install-oxtoolkit)
-           (cd OpenXM/src/ox_cdd; make install)
-
            As to asir library files, see OpenXM/src/asir-contrib/s_res
 
-$OpenXM$
+$OpenXM: OpenXM/src/ox_cdd/README,v 1.3 2005/10/10 07:29:40 takayama Exp $