equal
deleted
inserted
replaced
80 echo " -l NAME logic session name" |
80 echo " -l NAME logic session name" |
81 echo " -m MODE add print mode for output" |
81 echo " -m MODE add print mode for output" |
82 echo " -n no build dialog for session image on startup" |
82 echo " -n no build dialog for session image on startup" |
83 echo " -s system build mode for session image" |
83 echo " -s system build mode for session image" |
84 echo |
84 echo |
85 echo "Start jEdit with Isabelle plugin setup and open theory FILES" |
85 echo " Start jEdit with Isabelle plugin setup and open theory FILES" |
86 echo "(default \"$USER_HOME/Scratch.thy\")." |
86 echo " (default \"$USER_HOME/Scratch.thy\")." |
87 echo |
87 echo |
88 exit 1 |
88 exit 1 |
89 } |
89 } |
90 |
90 |
91 function fail() |
91 function fail() |