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.
override potential changes in $ISABELLE_HOME_USER/etc/settings;
authorwenzelm
Mon, 09 Sep 2013 14:48:16 +0200
changeset 53485 a837df2ceee5
parent 53484 1100982a071c
child 53486 fc1a86e7d1e4
override potential changes in $ISABELLE_HOME_USER/etc/settings;
Admin/lib/Tools/makedist_bundle file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist_bundle	Mon Sep 09 14:22:39 2013 +0200
+++ b/Admin/lib/Tools/makedist_bundle	Mon Sep 09 14:48:16 2013 +0200
@@ -53,6 +53,8 @@
 
 # bundled components
 
+init_component "$JEDIT_HOME"
+
 mkdir -p "$ARCHIVE_DIR/contrib"
 
 echo "#bundled components" >> "$ISABELLE_TARGET/etc/components"
isabelle