| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Never use special chars with >= coq-8.1. |  Pierre Courtieu | 2007-05-10 |
| * | Fixed coq prog persistent setting. | Pierre Courtieu | 2007-05-10 |
| * | Added completion to coq-prog-name asking. | Pierre Courtieu | 2006-12-13 |
| * | 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-09-29 |
| * | Fixed a small bug in indentation of coq. | Pierre Courtieu | 2006-08-25 |
| * | Cleaning in coq and lib, fixed licenses and docstrings. | Pierre Courtieu | 2006-08-23 |
| * | Started the coq-insert-tactic. | Pierre Courtieu | 2006-08-21 |
| * | Moved the coq local variables tools in a separate file and made it | Pierre Courtieu | 2006-08-17 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |