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