blob: 28dfbe11da90b42a32f3253999cf7f8f78cd24c1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
-*- outline -*-
* Summary of Changes for Proof General 4.0 from 3.7.X
** Isabelle/Isar changes
*** Electric terminator works, without inserting terminator
** Generic changes
*** XEmacs is no longer supported; PG only works with GNU Emacs 22.2+
*** Font-lock based Unicode Tokens mode replaces X-Symbol
*** Removed user configuration options
proof-toolbar-use-button-enablers (now always enabled)
*** Altered prover configuration settings
pg-insert-output-as-comment-fn: removed
proof-shell-strip-output-markup: required for cut-and-paste
proof-electric-terminator-noterminator: allows non-insert of terminator
|