| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-08-16 | Better colours on dark frames | David Aspinall |
| 2010-09-08 | Script mouse face highlighting: new faces/colours for commands and regions, r... | David Aspinall |
| 2010-08-11 | Make proof-boring-face a bit darker again so almost visible. | David Aspinall |
| 2010-08-11 | Support custom syntactic fontification. Split out pa macros. | David Aspinall |
| 2010-08-08 | Checkdoc cleanups | David Aspinall |
| 2009-11-28 | Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'. | David Aspinall |
| 2009-10-15 | proof-script-error-face: remove underline | David Aspinall |
| 2009-09-09 | Add proof-script-error-face | David Aspinall |
| 2009-09-05 | Clean whitespace | David Aspinall |
| 2009-08-28 | Clean up and rearrange variable declaration files | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |