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.
issue #449 - Proof appears as command in the proof tree issue #450 - support for braces and bullets issue #451 H. _______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel