deleted card_0_empty_iff because it is the same as card_0_eq;
renamed some variables
Summary: Proof General, Emacs interface for Proof Assistants
Name: proofgeneral
Version: 3.2pre000923
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.
%prep
find /usr/share/ProofGeneral/. -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'
%files
%attr(-,root,root) /usr/share/ProofGeneral
%attr(-,root,root) /usr/share/ProofGeneral-3.2pre000923