Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/main
changeset 73174 ab3fa0abc119
parent 73160 aeba7bb4f4d4
child 73175 16772cc234a9 
--- a/Admin/components/main	Fri Jan 22 15:58:17 2021 +0100
+++ b/Admin/components/main	Fri Jan 22 18:44:34 2021 +0100
@@ -11,6 +11,7 @@
 jfreechart-1.5.1
 jortho-1.0-2
 kodkodi-1.5.6
+naproche-20210122
 nunchaku-0.5
 opam-2.0.7
 polyml-test-f86ae3dc1686
isabelle