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-test-1b2dcf8f5202 -- more stable;
authorwenzelm
Sat, 02 Feb 2019 14:51:11 +0100
changeset 69783 dde776d1defa
parent 69782 76f2d492627e
child 69784 24bbc4e30e5b
back to polyml-test-1b2dcf8f5202 -- more stable;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Fri Feb 01 15:45:59 2019 +0100
+++ b/Admin/components/main	Sat Feb 02 14:51:11 2019 +0100
@@ -12,7 +12,7 @@
 kodkodi-1.5.2-1
 nunchaku-0.5
 opam-1.2.2
-polyml-test-b68438d33c69
+polyml-test-1b2dcf8f5202
 postgresql-42.2.5
 scala-2.12.8
 smbc-0.4.1
isabelle