| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Added coq-shell-cd |  Healfdene Goguen | 1998-01-15 |
| * | Incorporated tms's suggestion for simplifying coq-font-lock-keywords-1 | Healfdene Goguen | 1997-11-26 |
| * | Updates to Coq fontlock tables | Healfdene Goguen | 1997-11-06 |
| * | Updates for coq, including: | Healfdene Goguen | 1997-10-30 |
| * | Changed order of "Inversion_clear" and "Inversion" so that former is | Healfdene Goguen | 1997-10-24 |
| * | Added "Induction" as tactic | Healfdene Goguen | 1997-10-17 |
| * | *** empty log message *** |  Thomas Kleymann | 1997-10-13 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |
path: root/coq-fontlock.el