diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-05-08 16:29:21 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-08 16:29:21 +0000 |
commit | b7582af1bf58b82b4091590b12e8287a02698639 (patch) | |
tree | a2e0d94257a61337d6c391c8cd64796d06914551 /etc/ProofGeneral.menu | |
parent | 7edc8449d28acb0524299cbff58a09ef3dae07a1 (diff) |
Fix quotes.
Diffstat (limited to 'etc/ProofGeneral.menu')
-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 1156094f..8264de65 100644 --- a/etc/ProofGeneral.menu +++ b/etc/ProofGeneral.menu @@ -1,6 +1,6 @@ ?package(ProofGeneral):\ needs=X11\ - section=Applications/Sciences/Computer Science\ + section="Applications/Sciences/Computer Science"\ title="Proof General"\ longtitle="A generic interface for interactive theorem provers"\ command="/usr/bin/proofgeneral"\ |