aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-tree.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Fix prooftree for Coq 8.6Gravatar Hendrik Tews2017-01-14
* fix prooftree crash with long evar linesGravatar Hendrik Tews2016-12-28
* - implement proof-script insertionGravatar Hendrik Tews2013-01-21
* - implement retract from prooftreeGravatar Hendrik Tews2013-01-20
* - support Grab Existential Variables for ProoftreeGravatar Hendrik Tews2013-01-17
* - support bullets and braces in ProoftreeGravatar Hendrik Tews2013-01-15
* treat #450 by requiring that proofs are started with ProofGravatar Hendrik Tews2012-09-12
* TypoGravatar David Aspinall2012-01-19
* * fix case where some existential is instantiated with the last proof commandGravatar Hendrik Tews2012-01-04
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 11:03:36 +0000