diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-05-08 16:35:04 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-08 16:35:04 +0000 |
| commit | 78fdc08c212e54f91dc985003ff4fcb633d9cb7e (patch) | |
| tree | 8ea996e27c17f1f37298f4ba03476cd5075b42a9 /etc/ProofGeneral.menu | |
| parent | 8365e3d9b796f9d6f67bc2da86e14fbf7193e49e (diff) | |
Fix case to match Mandrake menu.
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 8264de65..5f1022cd 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"\ |