[subversion-commit] SVN tex-common commit + diffs: r887 - tex-common/trunk

[Julian Gilbey]

Author: jdg
Date: 2006-02-16 11:03:16 +0000 (Thu, 16 Feb 2006)
New Revision: 887

Modified:
   tex-common/trunk/TODO
Log:
cosmetic change to test new setup

Modified: tex-common/trunk/TODO
===================================================================
--- tex-common/trunk/TODO	2006-02-14 22:28:07 UTC (rev 886)
+++ tex-common/trunk/TODO	2006-02-16 11:03:16 UTC (rev 887)
@@ -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