diff -r 4d042d3f957d -r 0f57375aafce Admin/polyml/TODO
--- a/Admin/polyml/TODO	Wed Aug 08 14:12:36 2001 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-
-- fix / improve bin/polyml wrapper (unused by Isabelle);
-
-- support ppc-linux version;