aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-29 11:04:55 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2002-08-29 11:04:55 +0000
commit2fae44ba59f43b9d26a2830d7c2fda50722e6d40 (patch)
tree0b81d087f663756e67b22894236b3c5c36469ec5
parent04ed8b51d0ae0ea4eda99251d79e576a63d8119e (diff)
Update comment
-rw-r--r--etc/ProofGeneral.menu2
1 files changed, 1 insertions, 1 deletions
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"