aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-faces.el
AgeCommit message (Expand)Author
2021-04-16add feature to omit complete opaque proofsHendrik Tews
2020-01-31faces: Extend highlights to EOL to adjust for latest Emacs changesClément Pit-Claudel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2012-08-16Better colours on dark framesDavid Aspinall
2010-09-08Script mouse face highlighting: new faces/colours for commands and regions, r...David Aspinall
2010-08-11Make proof-boring-face a bit darker again so almost visible.David Aspinall
2010-08-11Support custom syntactic fontification. Split out pa macros.David Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-11-28Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'.David Aspinall
2009-10-15proof-script-error-face: remove underlineDavid Aspinall
2009-09-09Add proof-script-error-faceDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-28Clean up and rearrange variable declaration filesDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:53:40 +0000