From 78fdc08c212e54f91dc985003ff4fcb633d9cb7e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 May 2001 16:35:04 +0000
Subject: Fix case to match Mandrake menu.

---
 etc/ProofGeneral.menu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"\
-- 
cgit v1.2.3