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 stable polyml-5.7.1-8 for now;
authorwenzelm
Mon, 04 Feb 2019 12:07:55 +0100
changeset 69786 a5732629cc46
parent 69785 9e326f6f8a24
child 69787 60b5a4731695
back to stable polyml-5.7.1-8 for now;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Mon Feb 04 12:16:03 2019 +0100
+++ b/Admin/components/main	Mon Feb 04 12:07:55 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-test-1b2dcf8f5202
+polyml-5.7.1-8
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1
isabelle