# HG changeset patch
# User wenzelm
# Date 987428073 -7200
# Node ID 54193a58c2edb3392b0d0908a9a46158020a5443
# Parent  caabb021ec0f30b94a6c7d28dd685053efcc49e5
TODO

diff -r caabb021ec0f -r 54193a58c2ed Admin/polyml/TODO
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/polyml/TODO	Mon Apr 16 15:34:33 2001 +0200
@@ -0,0 +1,4 @@
+
+- fix / improve bin/polyml wrapper (unused by Isabelle);
+
+- support ppc-linux version;