SVN ERROR: OLDREPOS COMMIT: r536 - tex-common/trunk
Author: jdg
Date: 2006-02-16 10:44:18 +0000 (Thu, 16 Feb 2006)
New Revision: 536
Modified:
tex-common/trunk/TODO
Log:
Testing warning system
Modified: tex-common/trunk/TODO
===================================================================
--- tex-common/trunk/TODO 2006-02-14 22:22:29 UTC (rev 535)
+++ tex-common/trunk/TODO 2006-02-16 10:44:18 UTC (rev 536)
@@ -1 +1 @@
-- Manually build acl2, look why "/usr/bin/make mini-proveall" fails.
\ No newline at end of file
+- Manually build acl2, find out why "/usr/bin/make mini-proveall" fails.
\ No newline at end of file
Reply to: