David Aspinall <david.aspin...@ed.ac.uk> writes:
I'd like to push the button on this soon, so I think we should stop
adding new features/hacks to the CVS head for a while...
How about Hol light? Would you release 4.2 with the current
partial hol light support enabled? Or would you put hol-light
into comments in generic/proof-site.el?
I would suggest that we agree on some schedule. For instance:
- we stop adding new features now
- permit 2 weeks for further bug fixes
- have another prerelease on 18 September
- release 4.2 on 25 September
In addition to Davids list we should fix the conflict between
proof-electric-terminator and coq-colon-self-insert, that I
reported yesterday on this list.
I would like to fix some proof-tree problems before the release:
- Proof appears as command in the proof tree
- support for braces and bullets
ProofGeneral-devel mailing list