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.
obsolete;
authorwenzelm
Mon, 12 Sep 2022 23:38:18 +0200
changeset 76127 a2b3999c2277
parent 76126 a284c752db39
child 76128 f5e96a4039a7
obsolete;
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/main	Mon Sep 12 23:26:21 2022 +0200
+++ b/Admin/components/main	Mon Sep 12 23:38:18 2022 +0200
@@ -25,7 +25,6 @@
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3
-ssh-java-20190323
 stack-2.7.3
 vampire-4.6
 verit-2021.06.2-rmx
isabelle