From 2fae44ba59f43b9d26a2830d7c2fda50722e6d40 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 11:04:55 +0000
Subject: Update comment

---
 etc/ProofGeneral.menu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/ProofGeneral.menu b/etc/ProofGeneral.menu
index 5f1022cd..cda3fd48 100644
--- a/etc/ProofGeneral.menu
+++ b/etc/ProofGeneral.menu
@@ -2,6 +2,6 @@
   needs=X11\
   section="Applications/Sciences/Computer science"\
   title="Proof General"\
-  longtitle="A generic interface for interactive theorem provers"\
+  longtitle="Interface to Proof Assistants"\
   command="/usr/bin/proofgeneral"\
   icon="pgicon.png"
-- 
cgit v1.2.3