| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Junk proof-xsym-toggle-hook |  David Aspinall | 1999-11-18 |
| * | Updates | David Aspinall | 1999-11-16 |
| * | Updated | David Aspinall | 1999-11-12 |
| * | Next round of fixups for font-lock and x-symbol. | David Aspinall | 1999-11-11 |
| * | Extensive fixes for x-symbol and font-lock. | David Aspinall | 1999-11-11 |
| * | Patches for urgent message processing. | David Aspinall | 1999-11-11 |
| * | Junk code | David Aspinall | 1999-11-10 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |