David Aspinall <[email protected]> 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 Bye, Hendrik _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
