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.
back to Poly/ML 5.6 until odd memory management problems are sorted out;
authorwenzelm
Fri, 24 Feb 2017 13:24:55 +0100
changeset 65046 18f3d341f8c0
parent 65045 b69ef432438d
child 65047 f6aea1a500ce
back to Poly/ML 5.6 until odd memory management problems are sorted out;
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Concurrent/cache.ML file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Fri Feb 24 12:24:13 2017 +0100
+++ b/Admin/components/main	Fri Feb 24 13:24:55 2017 +0100
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.3
-polyml-5.7-20170217
+polyml-5.6-1
 postgresql-9.4.1212
 scala-2.11.8
 ssh-java-20161009
--- a/src/Pure/Concurrent/cache.ML	Fri Feb 24 12:24:13 2017 +0100
+++ b/src/Pure/Concurrent/cache.ML	Fri Feb 24 13:24:55 2017 +0100
@@ -29,4 +29,3 @@
   in apply end;
 
 end;
-
isabelle