From c5f898260c420b355a053f5eb753c7f71828bb94 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Wed, 18 Aug 1999 17:04:03 +0000
Subject: replaced 'ProofGeneral' by 'Proof General';

---
 isa/interface  | 4 ++--
 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
-- 
cgit v1.2.3