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 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'isa/interface')

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
-- 
cgit v1.2.3