diff options
| -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"\ |