proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2021-04-16	add feature to omit complete opaque proofs	Hendrik Tews
	This commit adds a feature to recognize complete opaque proofs in the asserted region and to replace them with an admitted proof. This can drastically improve the processing time for the asserted region at the cost of not checking the omitted proofs. Omitted proofs are displayed slightly darker compared to other parts of the locked region. With this commit, the feature is supported for Coq for files in which proofs are started with some form of Proof and ended with either Qed, Defined, Admitted or Abort. To enable, configure proof-omit-proofs-option or click Proof General -> Quick Options -> Processing -> Omit Proofs.
2020-01-31	faces: Extend highlights to EOL to adjust for latest Emacs changes	Clément Pit-Claudel

2018-02-21	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel

2016-09-18	Update the documentation and prepare the release 4.4.	Erik Martin-Dorel

2012-08-16	Better colours on dark frames	David Aspinall

2010-09-08	Script mouse face highlighting: new faces/colours for commands and regions, ↵	David Aspinall
	reinstate comment highlighting.
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