# HG changeset patch
# User wenzelm
# Date 997273002 -7200
# Node ID 0f57375aafce9b2dd18f90d1587648c889d04044
# Parent  4d042d3f957d77c4647b1b4c50eea3f4a23a7843
*** empty log message ***

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;