diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2013-01-17 09:09:29 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2013-01-17 09:09:29 +0000 |
| commit | c8a997a20215220f2f79ffc1cb34de758e73538c (patch) | |
| tree | 3a9b45d28e8f049955ee6f5cb6342d0846078d46 /CHANGES | |
| parent | 88343f978a0e09f1673ccec228fc7ab9c98d46e7 (diff) | |
document latest changes
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -21,7 +21,7 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac. to compile modules in parallel in the background while Proof General stays responsive. -*** Support for bullets and braces for Prooftree. +*** Support for bullets, braces and Grab Existential Variables for Prooftree. * Changes of Proof General 4.2 from Proof General 4.1 |