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.
src/Tools/jEdit/lib/Tools/jedit
changeset 66683 01189e46dc55
parent 66591 6efa351190d0
child 66906 03a96b8c7c06 
--- a/src/Tools/jEdit/lib/Tools/jedit	Thu Sep 21 12:47:16 2017 +0200
+++ b/src/Tools/jEdit/lib/Tools/jedit	Thu Sep 21 13:21:36 2017 +0200
@@ -110,13 +110,14 @@
   echo
   echo "  Options are:"
   echo "    -D NAME=X    set JVM system property"
-  echo "    -J OPTION    add JVM runtime option (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)"
+  echo "    -J OPTION    add JVM runtime option"
+  echo "                 (default $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS)"
   echo "    -R           open ROOT entry of logic session and use its parent"
   echo "    -b           build only"
   echo "    -d DIR       include session directory"
   echo "    -f           fresh build"
   echo "    -j OPTION    add jEdit runtime option"
-  echo "                 (default JEDIT_OPTIONS=$JEDIT_OPTIONS)"
+  echo "                 (default $JEDIT_OPTIONS)"
   echo "    -l NAME      logic session name"
   echo "    -m MODE      add print mode for output"
   echo "    -n           no build of session image on startup"
isabelle