diff options
| author | David Aspinall | 2001-08-16 15:05:33 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-16 15:05:33 +0000 |
| commit | 6e7cb9785ac15e68062b4578e117841fade8b53f (patch) | |
| tree | 70fe98e41ca93819baaf1c201a6f971768a56b7f | |
| parent | c7b93282ee36fdee6a4792d1b665eb454035a2cc (diff) | |
Move visibility item up, removed "in progress"
| -rw-r--r-- | CHANGES | 18 |
1 files changed, 8 insertions, 10 deletions
@@ -4,6 +4,14 @@ ** Generic Changes +*** Visibility control for completed proofs + + You can make proofs invisible using a context sensitive menu + (right button on a completed proof), or as soon as they are + completed with the "Options -> Disappearing Proofs" option. + Two menu items "Show proofs" and "Hide proofs" apply to + all the completed proofs in the buffer. + *** Proof General startup script welcomes user The "binary" (startup script) bin/proofgeneral now loads @@ -17,16 +25,6 @@ Can now build RPM packages with "rpm -ta" from tarball source. RPM includes menu file and icons (tested under Linux Mandrake). -*** Addition of visibility control for completed proofs - - You can make proofs invisible using a context sensitive menu - (right button on a completed proof), or as soon as they are - completed with the "Options -> Disappearing Proofs" option. - To reveal all proofs again, use the "Make proofs visible" - command. - - [ in progress, feedback welcome ] - *** Command to insert last output as comment in proof script. Sometimes it is useful to paste some of the output from |