diff options
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -37,6 +37,11 @@ proof-output-fontify-enable (now always enabled) *** Altered prover configuration settings (internal) + + urgent message matching is now anchored; configurations for + `proof-shell-clear-response-regexp', etc, must match + strings which begin with `proof-shell-eager-annotation-start'. + pg-insert-output-as-comment-fn: removed proof-shell-wakeup-char: removed proof-shell-prompt-pattern: removed @@ -44,6 +49,7 @@ proof-shell-strip-output-markup: required for cut-and-paste proof-electric-terminator-noterminator: allows non-insert of terminator + *** Primary distribution formats changed The RPM and zip file formats have been removed. We are very grateful to third-party packagers for Debian and Fedora |