diff options
-rw-r--r-- | isa/interface | 4 | ||||
-rw-r--r-- | isar/interface | 4 |
2 files changed, 4 insertions, 4 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 diff --git a/isar/interface b/isar/interface index 3983ef74..14ebf41b 100644 --- a/isar/interface +++ b/isar/interface @@ -2,7 +2,7 @@ # # $Id$ # -# ProofGeneral interface wrapper for Isabelle/Isar. +# Proof General interface wrapper for Isabelle/Isar. ## 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/Isar with proof documents FILES" + echo "Starts Proof General for Isabelle/Isar with proof documents FILES" echo "(default Scratch.thy)." echo exit 1 |