diff options
| -rw-r--r-- | isa/interface | 3 | ||||
| -rw-r--r-- | isar/interface | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/isa/interface b/isa/interface index 8c985092..dbe3d27e 100644 --- a/isa/interface +++ b/isa/interface @@ -27,7 +27,8 @@ usage() echo echo " Options are:" echo " -I BOOL use Isabelle/Isar instead of classic Isabelle (default $ISAR)" - echo " -P BOOL actually start Proof General (default true), otherwise plain tty session" + echo " -P BOOL actually start Proof General (default true), otherwise" + echo " run plain tty session" echo " -X BOOL configure the X-Symbol package on startup (default true)" echo " -l NAME logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)" echo " -m MODE add print mode for output" diff --git a/isar/interface b/isar/interface index 8c985092..dbe3d27e 100644 --- a/isar/interface +++ b/isar/interface @@ -27,7 +27,8 @@ usage() echo echo " Options are:" echo " -I BOOL use Isabelle/Isar instead of classic Isabelle (default $ISAR)" - echo " -P BOOL actually start Proof General (default true), otherwise plain tty session" + echo " -P BOOL actually start Proof General (default true), otherwise" + echo " run plain tty session" echo " -X BOOL configure the X-Symbol package on startup (default true)" echo " -l NAME logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)" echo " -m MODE add print mode for output" |