proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	span-make-modifying-removing-span: add utility	David Aspinall	2010-10-01
\| \| \| \|	span-make-self-removing-span: rename from span-add-self-removing-span
*	Add explicit 'invisible flag on the action list for invisible commands.	David Aspinall	2010-10-01
\| \| \| \| \|	This means that certain display actions will always be avoided for non-scripting commands (i.e., hints, anything in `proof-shell-error-or-interrupt-hook').
*	coq-highlight-error: use span-add-self-removing-span (highlight and removal ↵	David Aspinall	2010-10-01
\| \| \| \|	in background)
*	coq-allow-highlight-error: remove this setting, now ↵	David Aspinall	2010-10-01
\| \| \| \|	proof-shell-error-or-interrupt-hook is only invoked for plain script commands.
*	proof-shell-handle-error-or-interrupt-hook: only run if ordinary scripting ↵	David Aspinall	2010-10-01
\| \| \| \|	input (no non-nil flags in queue)
*	ReFixed bug trac 356.	Pierre Courtieu	2010-10-01
\|
*	Adjust handling of insertion of newlines before next command.	David Aspinall	2010-10-01
\|
*	proof-next-command-on-new-line: add this new internal flag	David Aspinall	2010-10-01
\|
*	proof-script-command-separator: remove; proof-one-command-per-line becomes ↵	David Aspinall	2010-10-01
\| \| \| \|	prover specific.
*	Comment	David Aspinall	2010-10-01
\|
*	Add key binding fixes from Erik Martin-Dorel (see Trac#359).	David Aspinall	2010-10-01
\|
*	proof-script-command-separator: removed (always a space)	David Aspinall	2010-10-01
\|
*	Update magic, release dates	David Aspinall	2010-10-01
\|
*	Update version numbers, release dates	David Aspinall	2010-10-01
\|
*	Set version tag for new release.	David Aspinall	2010-09-29
\|
*	Coding conventions	David Aspinall	2010-09-29
\|
*	Support proof-shell-init-cmd being a list	David Aspinall	2010-09-29
\|
*	Support proof-shell-init-cmd being a list	David Aspinall	2010-09-29
\|
*	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
\| \| \| \| \|	It has no icon in images directory, which causes odd effects with toolbar mapping (Fixes Trac #352).
*	proof-undo-and-delete-last-successful-command: repair (after	David Aspinall	2010-09-22
\| \| \| \|	proof-retract-until-point changed type).
*	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 ↵	David Aspinall	2010-09-21
\| \| \| \|	convenience commands.
*	Add Document Centred command. Adjust for new menu layout.	David Aspinall	2010-09-21
\|
*	Fix for new menu layout. Improve doc for automatic processing, ↵	David Aspinall	2010-09-21
\| \| \| \|	document-centred.
*	proof-autosend-loop: adjust to only update modified tick when sending	David Aspinall	2010-09-21
\| \| \| \|	(engages autosend slightly more often, but not quite often enough)
*	Attempt to fix #352 by ensuring symbol in toolbar keymap is given a prefix	David Aspinall	2010-09-20
\| \| \| \|	to not clash with standard toolbar buttons. Doesn't yet solve issue completely.
*	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. ↵	David Aspinall	2010-09-09
\| \| \| \|	Unfortunately that message is now not shown in response buffer.
*	Fixed the cleaning of goals buffer when proof completed	Pierre Courtieu	2010-09-09
\| \| \| \|	+ fixed the refreshing of modeline goal number display.
*	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
\|