Admin/proofgeneral/proofgeneral.spec
author wenzelm
Mon, 11 Sep 2000 20:44:53 +0200
changeset 9929 75df69217b57
child 10027 65ab57cff787
permissions -rw-r--r--
simple RPM spec for in-situ package;

Summary:	Proof General, Emacs interface for Proof Assistants
Name:		proofgeneral
Version:	3.2pre
Release:	1
Group:		Applications/Editors/Emacs
Copyright:	LFCS, University of Edinburgh
Url:		http://www.lfcs.informatics.ed.ac.uk/proofgen
Packager:	Markus Wenzel <wenzelm@in.tum.de>
Prefix:		/usr/share
BuildArchitectures: noarch


%description
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.

%files
%attr(-,root,root) /usr/share/ProofGeneral