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.
disable Isabelle/Naproche after release;
authorwenzelm
Thu, 23 May 2024 21:39:40 +0200
changeset 80186 f895ad113d80
parent 80185 455b58d356c5
child 80187 b8918a5a669e
disable Isabelle/Naproche after release;
Admin/components/bundled file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled	Thu May 23 20:24:26 2024 +0200
+++ b/Admin/components/bundled	Thu May 23 21:39:40 2024 +0200
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-naproche-20240519
+#naproche-20240519
isabelle