equal
deleted
inserted
replaced
85 echo " -f fresh build" |
85 echo " -f fresh build" |
86 echo " -j OPTION add jEdit runtime option" |
86 echo " -j OPTION add jEdit runtime option" |
87 echo " (default JEDIT_OPTIONS=$JEDIT_OPTIONS)" |
87 echo " (default JEDIT_OPTIONS=$JEDIT_OPTIONS)" |
88 echo " -l NAME logic session name" |
88 echo " -l NAME logic session name" |
89 echo " -m MODE add print mode for output" |
89 echo " -m MODE add print mode for output" |
90 echo " -n no build dialog for session image on startup" |
90 echo " -n no build of session image on startup" |
91 echo " -s system build mode for session image" |
91 echo " -s system build mode for session image" |
92 echo |
92 echo |
93 echo " Start jEdit with Isabelle plugin setup and open theory FILES" |
93 echo " Start jEdit with Isabelle plugin setup and open theory FILES" |
94 echo " (default \"$USER_HOME/Scratch.thy\")." |
94 echo " (default \"$USER_HOME/Scratch.thy\")." |
95 echo |
95 echo |