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.
do not bundle Isabelle/Naproche, while it keeps changing;
authorwenzelm
Mon, 02 Jan 2023 12:56:31 +0100
changeset 76863 13b2d8961f8a
parent 76862 5f7fed61489f
child 76864 56c926de7ea6
do not bundle Isabelle/Naproche, while it keeps changing;
Admin/components/bundled file | annotate | diff | comparison | revisions 
--- a/Admin/components/bundled	Mon Jan 02 12:45:24 2023 +0100
+++ b/Admin/components/bundled	Mon Jan 02 12:56:31 2023 +0100
@@ -1,2 +1,2 @@
 #additional components to be bundled for release
-naproche-20221024
+#naproche-20221024
isabelle