equal
deleted
inserted
replaced
9 Prefix: /usr/share |
9 Prefix: /usr/share |
10 BuildArchitectures: noarch |
10 BuildArchitectures: noarch |
11 |
11 |
12 %description |
12 %description |
13 Proof General is a generic Emacs interface for proof assistants, |
13 Proof General is a generic Emacs interface for proof assistants, |
14 suitable for use by pacifists and Emacs militants alike. It is |
14 suitable for use by pacifists and Emacs militants alike. |
15 supplied ready-customized for LEGO, Coq, and Isabelle. |
15 It is supplied ready-customized for LEGO, Coq, and Isabelle. |
|
16 |
|
17 This distribution of Proof General is intended to be used together |
|
18 with Isabelle and Proof General. It relies on Isabelle's automatic |
|
19 configuration of contributed packages. |
16 |
20 |
17 %prep |
21 %prep |
18 find /usr/share/ProofGeneral/. -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:' |
22 find /usr/share/ProofGeneral/. -type f -print | xargs perl -pi -e 's:^#!.*/perl:#!usr/bin/perl:' |
19 |
23 |
20 %files |
24 %files |