Admin/proofgeneral/proofgeneral.spec
author wenzelm
Tue, 16 Jan 2001 00:33:40 +0100
changeset 10911 eb5721204b38
parent 10074 c9026e2420a1
permissions -rw-r--r--
proper induction rule for arbitrarily branching datatype;

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