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