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 polyml-test-0a6ebca445fc by default: already quite stable;
authorwenzelm
Tue, 22 Jan 2019 12:28:41 +0100
changeset 69713 81ca77cb7c8c
parent 69709 7263b59219c1
child 69714 b7e708ba7786
use polyml-test-0a6ebca445fc by default: already quite stable;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Mon Jan 21 07:08:55 2019 +0000
+++ b/Admin/components/main	Tue Jan 22 12:28:41 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-5.7.1-8
+polyml-test-0a6ebca445fc
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1
isabelle