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 polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;
authorwenzelm
Tue, 11 Aug 2020 14:21:23 +0200
changeset 72132 d756ff4bb3a3
parent 72131 284d6c06cbfb
child 72133 c500f6c86e86
back to polyml-5.8.1 due to ML compiler crash in HOL-Codegenerator_Test;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Tue Aug 11 13:15:58 2020 +0200
+++ b/Admin/components/main	Tue Aug 11 14:21:23 2020 +0200
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-2.0.6
-polyml-test-159dc81efc3b
+polyml-5.8.1
 postgresql-42.2.9
 scala-2.12.11
 smbc-0.4.1
isabelle