From 3c8a94d1f6fb0dc628466ac431d1d6a753ab20dc Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 3 Sep 2001 10:44:21 +0000 Subject: Mention hiding proofs. --- html/features.html | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'html/features.html') diff --git a/html/features.html b/html/features.html index cc38adde..5a5e3a98 100644 --- a/html/features.html +++ b/html/features.html @@ -23,8 +23,10 @@ you'd like an interface with the following features... assistant. Parts of a proof script that have been processed are displayed in blue and are "locked" -- they cannot be edited. Parts of the script currently being processed by the proof assistant are - shown in red. Proof General has commands for processing new parts - of the buffer, or undoing already processed parts. + shown in red. Bodies of completed proofs in the locked region + can be hidden from view to help browsing. + Proof General has commands for processing new parts + of the buffer, or undoing already processed parts.

Take a look at these -- cgit v1.2.3