--- a/Admin/proofgeneral/proofgeneral.spec Mon Sep 18 23:43:56 2000 +0200
+++ b/Admin/proofgeneral/proofgeneral.spec Mon Sep 18 23:53:27 2000 +0200
@@ -1,7 +1,7 @@
Summary: Proof General, Emacs interface for Proof Assistants
Name: proofgeneral
Version: 3.2pre
-Release: 1
+Release: 2
Group: Applications/Editors/Emacs
Copyright: LFCS, University of Edinburgh
Url: http://www.lfcs.informatics.ed.ac.uk/proofgen
@@ -19,5 +19,8 @@
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
--- a/src/HOL/MicroJava/document/root.bib Mon Sep 18 23:43:56 2000 +0200
+++ b/src/HOL/MicroJava/document/root.bib Mon Sep 18 23:53:27 2000 +0200
@@ -33,7 +33,7 @@
year = {2000},
publisher = {Fernuniversit{{\"a}t} Hagen},
editor = {Drossopoulou, S. and Eisenbach, S. and Jacobs, B. and Leavens, G. T. and M{\"u}ller, P. and Poetzsch-Heffter, A.},
- organization = {Technical Report 269, 5/2000, Fernuniversit{{\"a}t} Hagen},
+ organization = {Technical Report 269, 5/2000},
note = {ECOOP2000 Workshop proceedings available from \url{http://www.informatik.fernuni-hagen.de/pi5/publications.html}},
abstract = {We introduce a Hoare-style calculus for a nearly
full subset of sequential Java, which we call Java_light. In particular,
@@ -62,7 +62,7 @@
year = {2000},
publisher = {Fernuniversit{{\"a}t} Hagen},
editor = {Drossopoulou, S. and Eisenbach, S. and Jacobs, B. and Leavens, G. T. and M{\"u}ller, P. and Poetzsch-Heffter, A.},
- organization = {Technical Report 269, 5/2000, Fernuniversit{{\"a}t} Hagen},
+ organization = {Technical Report 269, 5/2000},
note = {ECOOP2000 Workshop proceedings available from \url{http://www.informatik.fernuni-hagen.de/pi5/publications.html}},
url = {\url{http://www4.in.tum.de/~nipkow/pubs/lbv.html}}
}