# 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:'