diff options
author | Pierre Courtieu <courtieu@lri.fr> | 2014-12-23 12:30:24 +0000 |
---|---|---|
committer | Pierre Courtieu <courtieu@lri.fr> | 2014-12-23 12:30:24 +0000 |
commit | af9a7086bb182405bc3e738a28d5483afe7d40fb (patch) | |
tree | eca92781c2cd09f6358c4b765d1afa9f8da9747d /CHANGES | |
parent | 424ce5f435a14cbcfc85d333d365d0066106e55b (diff) |
Supporting more bullets (coq 8.5), like ++ or ++++.
Diffstat (limited to 'CHANGES')
-rw-r--r-- | CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -28,6 +28,11 @@ 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 more bullets (coq 8.5): -- --- ++ +++ ** *** + Scripting supports bullets of any length. + Indentation supports only bullets of length <= 4 (like ----). Longer + may be supported if needed. + *** Support for bullets, braces and Grab Existential Variables for Prooftree. *** Support for _Coqproject files |