Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Incorporated tms's suggestion for simplifying coq-font-lock-keywords-1 | 1997-11-26 | |
* | Updates to Coq fontlock tables | 1997-11-06 | |
* | Updates for coq, including: | 1997-10-30 | |
* | Changed order of "Inversion_clear" and "Inversion" so that former is | 1997-10-24 | |
* | Added "Induction" as tactic | 1997-10-17 | |
* | *** empty log message *** | 1997-10-13 |