From 1d677e46e12f4e243b89478f84b47bfdf96b3c14 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Aug 2000 12:32:59 +0000
Subject: Split manual into two parts.

Added notes about find theorems trick of separating constants by comma
for Isabelle.  Made for version 99-1.

Improved documentation for urgent messages, including recent
additions.  Mentioned new high-level macros proof-defshortcut,
proof-definvisible.
---
 doc/localdir | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/localdir')

diff --git a/doc/localdir b/doc/localdir
index b82dd964..2b366965 100644
--- a/doc/localdir
+++ b/doc/localdir
@@ -1,2 +1,3 @@
 Theorem proving
-* Proof General: (ProofGeneral).    Organize your proofs with Emacs!
+* Proof General: (ProofGeneral).	 Organize your proofs with Emacs!
+* Adapting Proof General: (PG-adapting). How to adapt Proof General for new provers
-- 
cgit v1.2.3