| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | GPL |  David Aspinall | 2002-06-21 |
| * | Year changes | David Aspinall | 2002-03-21 |
| * | Copyright date updated | David Aspinall | 2001-05-08 |
| * | fixed comment; |  Makarius Wenzel | 2000-07-20 |
| * | Improve loading | David Aspinall | 2000-05-09 |
| * | pbp-mode -> goals-mode | David Aspinall | 2000-04-07 |
| * | Update copyright dates, comments. | David Aspinall | 2000-04-04 |
| * | Added mechanism for setting font-lock-keywords uniformly from | David Aspinall | 2000-03-10 |
| * | Second version of easy-config, without defvaralias use. | David Aspinall | 1999-11-16 |
| * | Working version of easy-config. | David Aspinall | 1999-11-16 |
| * | Preliminary, not for 3.0. | David Aspinall | 1999-11-16 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |