aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq-fontlock.el
Commit message (Expand)AuthorAge
* Renamed <file>-fontlock to <file>-syntaxGravatar David Aspinall1998-08-11
* Added "Scheme" as definition keyword.Gravatar Healfdene Goguen1998-06-11
* Added "Mutual Inductive" as definition keyword.Gravatar Healfdene Goguen1998-06-10
* Changed Compute from command to tactic.Gravatar Healfdene Goguen1998-06-03
* Minor modifications to commentsGravatar Healfdene Goguen1998-06-02
* Added CoFixpoint and tactics.Gravatar Healfdene Goguen1998-05-15
* Added CoInductive.Gravatar Healfdene Goguen1998-05-05
* Added coq-shell-cdGravatar Healfdene Goguen1998-01-15
* Incorporated tms's suggestion for simplifying coq-font-lock-keywords-1Gravatar Healfdene Goguen1997-11-26
* Updates to Coq fontlock tablesGravatar Healfdene Goguen1997-11-06
* Updates for coq, including:Gravatar Healfdene Goguen1997-10-30
* Changed order of "Inversion_clear" and "Inversion" so that former isGravatar Healfdene Goguen1997-10-24
* Added "Induction" as tacticGravatar Healfdene Goguen1997-10-17
* *** empty log message ***Gravatar Thomas Kleymann1997-10-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 01:59:23 +0000