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