| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-08-19 | Avoid compilation error | David Aspinall |
| 2006-08-23 | Comments and docstring fixes in lib and generic. | Pierre Courtieu |
| 2006-08-21 | Started the coq-insert-tactic. | Pierre Courtieu |
| 2006-08-17 | continue on the support for local variables list semi-automatic | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |