proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Cleanup patch; Moving defvar to toplevel	Stefan Monnier	2018-12-12
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
*	Change (eval-when (compile) ...) to (eval-when-compile ...)	Clément Pit--Claudel	2017-05-05
*	Improvements for type tokens, remove preceding colon	David Aspinall	2015-01-05
*	- support bullets and braces in Prooftree	Hendrik Tews	2013-01-15
*	Add example menu entry	David Aspinall	2012-02-08
*	Tweak output strings and prompt matching	David Aspinall	2012-02-08
*	Abort attempt to use special exception printing	David Aspinall	2012-02-08
*	Fix pareno	David Aspinall	2012-02-08
*	Add hol-light-prog-name, restart command.	David Aspinall	2012-02-08
*	Add proof-forget-id command and make top_thm discard the goalstack.	David Aspinall	2012-02-08
*	Improve handling of undo, implementing pg_kill and pg_undo.	David Aspinall	2012-02-08
*	More progress with Prooftree. Basic trees produced. Undoing needs work.	David Aspinall	2012-02-08
*	Get a little bit further with proof tree.	David Aspinall	2012-02-07
*	Load pg_tactics, fix proof-undo-n-times-cmd again.	David Aspinall	2012-02-07
*	Borrow syntax keywords from caml-mode if available. Typo in undo-n-times.	David Aspinall	2012-02-07
*	Fix compile	David Aspinall	2012-02-07
*	Pasto	David Aspinall	2012-02-07
*	Start support for both plain and custom top levels (work in progress).	David Aspinall	2012-02-07
*	Rename goalstate file for pg	David Aspinall	2012-01-20
*	Temporary commit to share file, this is work in progress for Prooftree	David Aspinall	2012-01-19
*	Improve configuration for HOL Light. Allow goals display to be prefixed by i...	David Aspinall	2012-01-09
*	Make configuration settings. Tweak error regexp.	David Aspinall	2012-01-06
*	Some fixes to get a working instance for HOL Light. Work in progress.	David Aspinall	2012-01-05
*	Experimental hol-light version, not usable yet	David Aspinall	2010-09-29