# HG changeset patch
# User wenzelm
# Date 969893494 -7200
# Node ID c9026e2420a1c693bc96a7c6f2f6132e2e01998c
# Parent  c9b2a57c0b09eacb5c934210b3f35ef8e50dd33d
tuned;

diff -r c9b2a57c0b09 -r c9026e2420a1 Admin/proofgeneral/proofgeneral.spec
--- 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:'