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 74485 2d089ff0e03b
parent 74467 149c8ba1ebb2
child 74486 74a36aae067a 
--- a/Admin/components/main	Thu Oct 07 13:55:24 2021 +0200
+++ b/Admin/components/main	Thu Oct 07 14:02:18 2021 +0200
@@ -14,6 +14,7 @@
 jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.6-1
+minisat-2.2.1
 nunchaku-0.5
 opam-2.0.7
 polyml-5.8.2
isabelle