diff options
Diffstat (limited to 'isa/interface')
| -rw-r--r-- | isa/interface | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isa/interface b/isa/interface index 14744ee6..f40b8b36 100644 --- a/isa/interface +++ b/isa/interface @@ -2,7 +2,7 @@ # # $Id$ # -# ProofGeneral interface wrapper for Isabelle/classic. +# Proof General interface wrapper for Isabelle/classic. ## diagnostics @@ -20,7 +20,7 @@ function usage() echo " -u BOOL use .emacs file (default false)" echo " -w BOOL use window system (default true)" echo - echo "Starts ProofGeneral for Isabelle/classic with proof documents FILES" + echo "Starts Proof General for Isabelle/classic with proof documents FILES" echo "(default Scratch.thy)." echo exit 1 |