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