| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |