| Age | Commit message (Collapse) | 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 | |
| Changed "\\s " into "\\s-" as whitespace pattern. | |||
| 1998-06-03 | Changed Compute from command to tactic. | Healfdene Goguen | |
| Added Fix, Destruct and Cofix as tactics. Added Local as goal. | |||
| 1998-06-02 | Minor modifications to comments | Healfdene Goguen | |
| 1998-05-15 | Added CoFixpoint and tactics. | Healfdene Goguen | |
| Changed indentation. | |||
| 1998-05-05 | Added CoInductive. | Healfdene Goguen | |
| Made updates to reflect problem with "Definition", which couldn't be used with proof scripts. | |||
| 1998-01-15 | Added coq-shell-cd | Healfdene Goguen | |
| Some new fontlocks | |||
| 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 | |
| * pbp-goal-command and pbp-hyp-command use proof-terminal-string * updates to keywords * fix for goal regexp | |||
| 1997-10-24 | Changed order of "Inversion_clear" and "Inversion" so that former is | Healfdene Goguen | |
| fontified first. Added "Print" to list of commands. | |||
| 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