--- a/Admin/proofgeneral/proofgeneral.spec Mon Sep 25 16:50:59 2000 +0200
+++ b/Admin/proofgeneral/proofgeneral.spec Mon Sep 25 16:51:34 2000 +0200
@@ -11,8 +11,12 @@
%description
Proof General is a generic Emacs interface for proof assistants,
-suitable for use by pacifists and Emacs militants alike. It is
-supplied ready-customized for LEGO, Coq, and Isabelle.
+suitable for use by pacifists and Emacs militants alike.
+It is supplied ready-customized for LEGO, Coq, and Isabelle.
+
+This distribution of Proof General is intended to be used together
+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:'