src/Tools/jEdit/lib/Tools/jedit
changeset 61171 2a56a53d78f9
parent 61133 c6d62d092246
child 61208 19118f9b939d
equal deleted inserted replaced
61170:dee0aec271b7 61171:2a56a53d78f9
   102   echo "    -l NAME      logic session name"
   102   echo "    -l NAME      logic session name"
   103   echo "    -m MODE      add print mode for output"
   103   echo "    -m MODE      add print mode for output"
   104   echo "    -n           no build of session image on startup"
   104   echo "    -n           no build of session image on startup"
   105   echo "    -s           system build mode for session image"
   105   echo "    -s           system build mode for session image"
   106   echo
   106   echo
   107   echo "  Start jEdit with Isabelle plugin setup and open theory FILES"
   107   echo "  Start jEdit with Isabelle plugin setup and open FILES"
   108   echo "  (default \"$USER_HOME/Scratch.thy\")."
   108   echo "  (default \"$USER_HOME/Scratch.thy\")."
   109   echo
   109   echo
   110   exit 1
   110   exit 1
   111 }
   111 }
   112 
   112