| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Update copyright messages and improve the header of elisp files. |  Erik Martin-Dorel | 2018-02-21 |
| * | Update the documentation and prepare the release 4.4. | Erik Martin-Dorel | 2016-09-18 |
| * | Better colours on dark frames |  David Aspinall | 2012-08-16 |
| * | Script mouse face highlighting: new faces/colours for commands and regions, r... | David Aspinall | 2010-09-08 |
| * | 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-11 |
| * | Checkdoc cleanups | David Aspinall | 2010-08-08 |
| * | Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'. | David Aspinall | 2009-11-28 |
| * | proof-script-error-face: remove underline | David Aspinall | 2009-10-15 |
| * | Add proof-script-error-face | David Aspinall | 2009-09-09 |
| * | Clean whitespace | David Aspinall | 2009-09-05 |
| * | Clean up and rearrange variable declaration files | David Aspinall | 2009-08-28 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |