blob: 572ec43bb9ad941418efe3584e0682763f4dbd37 (
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
25
26
27
28
29
30
|
Summary of Changes for Proof General 2.2 from 2.1
-------------------------------------------------
No changes yet.
Plan of Major Changes for Proof General 2.2
-------------------------------------------
* Queue manipulation improvment: allow to extend or reduce
during processing, with fewer "Proof Process Busy"
messages.
* Font-lock based on annotations in proof assistant output.
Particularly: colouration for Isabelle variable names.
* x-symbol support integration.
* Isabelle PG: Non-blocking for .thy loading from .ML files.
(hopefully as happy side effect of queue improvement)
Please send details of any other improvements or bug fixes you would
like to see, to proofgen@dcs.ed.ac.uk.
|
