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.
use Poly/ML 5.7.1 test version as default;
authorwenzelm
Thu, 26 Oct 2017 13:44:41 +0200
changeset 66920 aefaaef29c58
parent 66919 1f93e376aeb6
child 66921 3d3bd0718ef2
use Poly/ML 5.7.1 test version as default;
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/library.ML file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Wed Oct 25 14:54:28 2017 +0200
+++ b/Admin/components/main	Thu Oct 26 13:44:41 2017 +0200
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.5
-polyml-5.6-2
+polyml-test-905dae2ebfda
 postgresql-42.1.4
 scala-2.12.3
 smbc-0.4.1
--- a/src/Pure/library.ML	Wed Oct 25 14:54:28 2017 +0200
+++ b/src/Pure/library.ML	Thu Oct 26 13:44:41 2017 +0200
@@ -1036,4 +1036,3 @@
 
 structure Basic_Library: BASIC_LIBRARY = Library;
 open Basic_Library;
-
isabelle