| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-09 | Another V-8-1 test | David Aspinall |
| 2009-09-07 | Fix compiler warnings. | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-08-28 | Doc fix | David Aspinall |
| 2008-05-22 | Fixed a bug with local variable setting. | Pierre Courtieu |
| 2008-05-20 | Fixed a bug with coq-prog-name. | Pierre Courtieu |
| 2007-05-10 | Never use special chars with >= coq-8.1. | Pierre Courtieu |
| 2007-05-10 | Fixed coq prog persistent setting. | Pierre Courtieu |
| 2006-12-13 | Added completion to coq-prog-name asking. | Pierre Courtieu |
| 2006-09-29 | utf safe coq mode is not linked to proof-shell-unicode, as unicode is | Pierre Courtieu |
| 2006-09-29 | adapting to proof-shell-unicode. Coq has not been adapted to the | Pierre Courtieu |
| 2006-08-25 | Fixed a small bug in indentation of coq. | Pierre Courtieu |
| 2006-08-23 | Cleaning in coq and lib, fixed licenses and docstrings. | Pierre Courtieu |
| 2006-08-21 | Started the coq-insert-tactic. | Pierre Courtieu |
| 2006-08-17 | Moved the coq local variables tools in a separate file and made it | Pierre Courtieu |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |