author paulson
Wed, 25 Oct 2000 17:43:34 +0200
changeset 10325 76f318befccb
parent 10074 c9026e2420a1
permissions -rw-r--r--
Even numbers section of Inductive chapter

Summary:	Proof General, Emacs interface for Proof Assistants
Name:		proofgeneral
Version:	3.2pre000923
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.

find /usr/share/ProofGeneral/. -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'

%attr(-,root,root) /usr/share/ProofGeneral
%attr(-,root,root) /usr/share/ProofGeneral-3.2pre000923