Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
authorwenzelm
Wed, 08 Aug 2001 14:16:42 +0200
changeset 11478 0f57375aafce
parent 11477 4d042d3f957d
child 11479 697dcaaf478f
*** empty log message ***
Admin/polyml/TODO file | annotate | diff | comparison | revisions 
--- 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;
isabelle