From 48b1d55b413e43220ab89ba6f2457e8da0110329 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 8 May 2001 12:09:21 +0000
Subject: *** empty log message ***

---
 etc/ProofGeneral.menu | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 etc/ProofGeneral.menu

(limited to 'etc/ProofGeneral.menu')

diff --git a/etc/ProofGeneral.menu b/etc/ProofGeneral.menu
new file mode 100644
index 00000000..1156094f
--- /dev/null
+++ b/etc/ProofGeneral.menu
@@ -0,0 +1,7 @@
+?package(ProofGeneral):\
+  needs=X11\
+  section=Applications/Sciences/Computer Science\
+  title="Proof General"\
+  longtitle="A generic interface for interactive theorem provers"\
+  command="/usr/bin/proofgeneral"\
+  icon="pgicon.png"
-- 
cgit v1.2.3