proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Doc	David Aspinall	2010-09-29
*	Adjust default prover configurations. Add new entry points.	David Aspinall	2010-09-29
*	Experimental hol-light version, not usable yet	David Aspinall	2010-09-29
*	Fixed redundant undo limit custom variables.	Pierre Courtieu	2010-09-28
*	Fixed colorization bug #356, introduced by a previous fix of bug 140.	Pierre Courtieu	2010-09-28
*	Set version tag for new release.	David Aspinall	2010-09-27
*	Test case	David Aspinall	2010-09-27
*	* empty log message *	David Aspinall	2010-09-24
*	Fix bug trac 140 by writing a cleaner regexp than (proof-ids ... " ").	Pierre Courtieu	2010-09-22
*	Fix some bugs in coq regexp generation	David Aspinall	2010-09-22
*	Remove support for Emacs <21 in syntax table	David Aspinall	2010-09-22
*	add notes	David Aspinall	2010-09-22
*	Test case for http://proofgeneral.inf.ed.ac.uk/trac/ticket/140	David Aspinall	2010-09-22
*	Trivial comment adjustment.	David Aspinall	2010-09-22
*	proof-toolbar-entries-default: Remove accidental inclusion of delete in toolbar.	David Aspinall	2010-09-22
*	proof-undo-and-delete-last-successful-command: repair (after	David Aspinall	2010-09-22
*	Introduce more colourings for active scripting indicator.	David Aspinall	2010-09-21
*	proof-deftoggle: add declare-function to prevent compiler warnings	David Aspinall	2010-09-21
*	Adjust menu layout for Quick Options. Add Document Centred and Default conve...	David Aspinall	2010-09-21
*	Add Document Centred command. Adjust for new menu layout.	David Aspinall	2010-09-21
*	Fix for new menu layout. Improve doc for automatic processing, document-cent...	David Aspinall	2010-09-21
*	proof-autosend-loop: adjust to only update modified tick when sending	David Aspinall	2010-09-21
*	Attempt to fix #352 by ensuring symbol in toolbar keymap is given a prefix	David Aspinall	2010-09-20
*	Fix typo	David Aspinall	2010-09-20
*	Set version tag for new release.	David Aspinall	2010-09-09
*	Revert last change, version from Pierre is cleaner.	David Aspinall	2010-09-09
*	Hack regexps so that goals are cleared on Proof Completed. message. Unfortun...	David Aspinall	2010-09-09
*	Fixed the cleaning of goals buffer when proof completed	Pierre Courtieu	2010-09-09
*	Moved the modeline dislpay of open goals to scripting buffer.	Pierre Courtieu	2010-09-09
*	filled CHANGES a bit more precisely.	Pierre Courtieu	2010-09-09
*	Cleaning indentation code.	Pierre Courtieu	2010-09-09
*	Fixed indentation at end of file.	Pierre Courtieu	2010-09-09
*	Fixed small bugs in indentation.	Pierre Courtieu	2010-09-09
*	illustrating the wrongness of the current multifile processing for coq.	Pierre Courtieu	2010-09-08
*	Added three files for testing multi file scripting.	Pierre Courtieu	2010-09-08
*	Set version tag for new release.	David Aspinall	2010-09-08
*	mapcar -> mapc to fix compile error	David Aspinall	2010-09-08
*	Adjust configuration setting for automatic multiple files handling	David Aspinall	2010-09-08
*	pg-autotest-find-file-restart: wait for retraction to complete.	David Aspinall	2010-09-08
*	Remove debug message	David Aspinall	2010-09-08
*	use-linear-undo: use default of t again	David Aspinall	2010-09-08
*	Clean up invisibility spec	David Aspinall	2010-09-08
*	Improve/fix invisibility management, using buffer-invisibility-spec. Adjust ...	David Aspinall	2010-09-08
*	Fix compile	David Aspinall	2010-09-08
*	Script mouse face highlighting: new faces/colours for commands and regions, r...	David Aspinall	2010-09-08
*	Trivial comment change	David Aspinall	2010-09-08
*	Tidy comments.	David Aspinall	2010-09-08
*	Comments	David Aspinall	2010-09-08
*	Add simple clear test for multiple files without require	David Aspinall	2010-09-08
*	proof-assert-electric-terminator: fix for proof-terminal-string, not char	David Aspinall	2010-09-07