diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 1999-08-18 17:04:03 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 1999-08-18 17:04:03 +0000 |
| commit | c5f898260c420b355a053f5eb753c7f71828bb94 (patch) | |
| tree | c19a3d460100013146f7a574b8f7f6fa177b5579 | |
| parent | 0d948350f66621e17334c75789192655d76c4cf6 (diff) | |
replaced 'ProofGeneral' by 'Proof General';
| -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 |