|
9929
|
1 |
Summary: Proof General, Emacs interface for Proof Assistants
|
|
|
2 |
Name: proofgeneral
|
|
|
3 |
Version: 3.2pre
|
|
10027
|
4 |
Release: 2
|
|
9929
|
5 |
Group: Applications/Editors/Emacs
|
|
|
6 |
Copyright: LFCS, University of Edinburgh
|
|
|
7 |
Url: http://www.lfcs.informatics.ed.ac.uk/proofgen
|
|
|
8 |
Packager: Markus Wenzel <wenzelm@in.tum.de>
|
|
|
9 |
Prefix: /usr/share
|
|
|
10 |
BuildArchitectures: noarch
|
|
|
11 |
|
|
|
12 |
|
|
|
13 |
%description
|
|
|
14 |
Proof General is a generic Emacs interface for proof assistants,
|
|
|
15 |
suitable for use by pacifists and Emacs militants alike.
|
|
|
16 |
It is supplied ready-customized for LEGO, Coq, and Isabelle.
|
|
|
17 |
|
|
|
18 |
This distribution of Proof General is intended to be used together
|
|
|
19 |
with Isabelle and Proof General. It relies on Isabelle's automatic
|
|
|
20 |
configuration of contributed packages.
|
|
|
21 |
|
|
10027
|
22 |
%prep
|
|
|
23 |
find /usr/share/ProofGeneral -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:'
|
|
|
24 |
|
|
9929
|
25 |
%files
|
|
|
26 |
%attr(-,root,root) /usr/share/ProofGeneral
|