proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Old debug setting	David Aspinall	2011-01-31
*	- use low-level compilation interface for external coq	Hendrik Tews	2011-01-28
*	- mark new coq specific variables as safe	Hendrik Tews	2011-01-28
*	Clean coq goals buffer when backing to a non-proof state, otherwise	Pierre Courtieu	2011-01-28
*	Add autotest-start with debug for now	David Aspinall	2011-01-26
*	- more info on the elements of proof-action-list; the COMMANDS	Hendrik Tews	2011-01-26
*	- fix 1 second problem	Hendrik Tews	2011-01-26
*	- fix problem description	Hendrik Tews	2011-01-26
*	- unlock files when retracting a Require command (implemented via	Hendrik Tews	2011-01-25
*	Remove proof-shell-wait that causes deadlock with new multiple-file code.	David Aspinall	2011-01-25
*	- use time-less-p	Hendrik Tews	2011-01-21
*	- switch off automatic compilation for coq to not surprise users	Hendrik Tews	2011-01-19
*	- fixed stale load path problem with killing the proof shell in	Hendrik Tews	2011-01-18
*	- implemented coq-lock-ancestors as described in the docs already	Hendrik Tews	2011-01-18
*	Add multiple file test case	David Aspinall	2011-01-18
*	Alternative fix to #382.	David Aspinall	2011-01-18
*	set proof-auto-action-when-deactivating-scripting to 'retract,	David Aspinall	2011-01-18
*	Localise compilation fix for dynamic scope of `queueitems\'.	David Aspinall	2011-01-18
*	- fixed compilation errors	Hendrik Tews	2011-01-18
*	- fix broken external compilation	Hendrik Tews	2011-01-18
*	Fix trac 382 by not setting save-abbrevs.	Pierre Courtieu	2011-01-18
*	fix problems in test cases	Hendrik Tews	2011-01-17
*	- more coq test cases (some with surprising and embarrassing bugs)	Hendrik Tews	2011-01-14
*	Update dates and versions	David Aspinall	2011-01-14
*	- move proof-no-fully-processed-buffer to generic/proof-config	Hendrik Tews	2011-01-14
*	- simple backward compatible change to invoke a function to	Hendrik Tews	2011-01-14
*	- Remove nonfunctional Add LoadPath code.	Hendrik Tews	2011-01-14
*	Add preliminary support for multiple files for coq.	Hendrik Tews	2011-01-12
*	Fix compile problem with smie code on Emacs <=23.3	David Aspinall	2010-11-25
*	Summary: New indentation code using SMIE	Stefan Monnier	2010-11-15
*	Fixed a bug with utf8 error highlighting in coq 8.3 (bugs with 8.2	Pierre Courtieu	2010-10-22
*	Add some more tokens for making pretty pictures	David Aspinall	2010-10-10
*	coq-find-and-forget: Allow undoing prover processed regions	David Aspinall	2010-10-10
*	coq-generic-expression: fix this to match symbols, not merely words.	David Aspinall	2010-10-10
*	Fixes in strings/comments from Erik Martin-Dorel	David Aspinall	2010-10-04
*	coq-insert-solve-tactic: added (credit:Erik Martin-Dorel, patch from trac #35...	David Aspinall	2010-10-04
*	Rename span-add-self-removing-span	David Aspinall	2010-10-01
*	coq-highlight-error: use span-add-self-removing-span (highlight and removal i...	David Aspinall	2010-10-01
*	coq-allow-highlight-error: remove this setting, now proof-shell-error-or-inte...	David Aspinall	2010-10-01
*	ReFixed bug trac 356.	Pierre Courtieu	2010-10-01
*	Add key binding fixes from Erik Martin-Dorel (see Trac#359).	David Aspinall	2010-10-01
*	Update version numbers, release dates	David Aspinall	2010-10-01
*	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
*	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
*	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