# HG changeset patch
# User wenzelm
# Date 969314007 -7200
# Node ID 65ab57cff7874a1523d9b3c1c09ff4157ada7c20
# Parent  dfa85ba2295a659d1221c5545a14313b218d9987
tuned;

diff -r dfa85ba2295a -r 65ab57cff787 Admin/proofgeneral/proofgeneral.spec
--- 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
diff -r dfa85ba2295a -r 65ab57cff787 src/HOL/MicroJava/document/root.bib
--- 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}}
 }