changeset 9929 75df69217b57
child 10027 65ab57cff787
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/proofgeneral/proofgeneral.spec	Mon Sep 11 20:44:53 2000 +0200
@@ -0,0 +1,23 @@
+Summary:	Proof General, Emacs interface for Proof Assistants
+Name:		proofgeneral
+Version:	3.2pre
+Release:	1
+Group:		Applications/Editors/Emacs
+Copyright:	LFCS, University of Edinburgh
+Packager:	Markus Wenzel <>
+Prefix:		/usr/share
+BuildArchitectures: noarch
+Proof General is a generic Emacs interface for proof assistants,
+suitable for use by pacifists and Emacs militants alike.
+It is supplied ready-customized for LEGO, Coq, and Isabelle.
+This distribution of Proof General is intended to be used together
+with Isabelle and Proof General.  It relies on Isabelle's automatic
+configuration of contributed packages.
+%attr(-,root,root) /usr/share/ProofGeneral