diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 11:04:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 11:04:55 +0000 |
commit | 2fae44ba59f43b9d26a2830d7c2fda50722e6d40 (patch) | |
tree | 0b81d087f663756e67b22894236b3c5c36469ec5 | |
parent | 04ed8b51d0ae0ea4eda99251d79e576a63d8119e (diff) |
Update comment
-rw-r--r-- | etc/ProofGeneral.menu | 2 |
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" |