Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Improve loading | 2000-05-09 | |
| | |||
* | pbp-mode -> goals-mode | 2000-04-07 | |
| | |||
* | Update copyright dates, comments. | 2000-04-04 | |
| | |||
* | Added mechanism for setting font-lock-keywords uniformly from | 2000-03-10 | |
| | | | | | proof-script-font-lock-keywords, and modifying syntax table with proof-script-modify-syntax-table, etc. | ||
* | Second version of easy-config, without defvaralias use. | 1999-11-16 | |
| | |||
* | Working version of easy-config. | 1999-11-16 | |
| | |||
* | Preliminary, not for 3.0. | 1999-11-16 | |