aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-tree.el
AgeCommit message (Expand)Author
2020-06-04New hook for early prompt/output analyzis.Pierre Courtieu
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-01-14Fix prooftree for Coq 8.6Hendrik Tews
2016-12-28fix prooftree crash with long evar linesHendrik Tews
2013-01-21- implement proof-script insertionHendrik Tews
2013-01-20- implement retract from prooftreeHendrik Tews
2013-01-17- support Grab Existential Variables for ProoftreeHendrik Tews
2013-01-15- support bullets and braces in ProoftreeHendrik Tews
2012-09-12treat #450 by requiring that proofs are started with ProofHendrik Tews
2012-01-19TypoDavid Aspinall
2012-01-04* fix case where some existential is instantiated with the last proof commandHendrik Tews
2012-01-03merge ProofTreeBranch into main trunk:Hendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:54:12 +0000