| Age | Commit message (Expand) | Author |
|---|---|---|
| 1998-08-11 | Renamed <file>-fontlock to <file>-syntax | David Aspinall |
| 1998-06-11 | Added "Scheme" as definition keyword. | Healfdene Goguen |
| 1998-06-10 | Added "Mutual Inductive" as definition keyword. | Healfdene Goguen |
| 1998-06-03 | Changed Compute from command to tactic. | Healfdene Goguen |
| 1998-06-02 | Minor modifications to comments | Healfdene Goguen |
| 1998-05-15 | Added CoFixpoint and tactics. | Healfdene Goguen |
| 1998-05-05 | Added CoInductive. | Healfdene Goguen |
| 1998-01-15 | Added coq-shell-cd | Healfdene Goguen |
| 1997-11-26 | Incorporated tms's suggestion for simplifying coq-font-lock-keywords-1 | Healfdene Goguen |
| 1997-11-06 | Updates to Coq fontlock tables | Healfdene Goguen |
| 1997-10-30 | Updates for coq, including: | Healfdene Goguen |
| 1997-10-24 | Changed order of "Inversion_clear" and "Inversion" so that former is | Healfdene Goguen |
| 1997-10-17 | Added "Induction" as tactic | Healfdene Goguen |
| 1997-10-13 | *** empty log message *** | Thomas Kleymann |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |
path: root/coq-fontlock.el