proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Point to Trac #313	David Aspinall	2009-12-01
\|
*	Comments	David Aspinall	2009-12-01
\|
*	Replace proof-locked-end -> proof-unprocessed-begin	David Aspinall	2009-11-30
\|
*	Small Fix (again).	Pierre Courtieu	2009-11-20
\|
*	Small Fix.	Pierre Courtieu	2009-11-20
\|
*	Fix.	Pierre Courtieu	2009-11-11
\|
*	fix	Pierre Courtieu	2009-11-10
\|
*	Fixing insertion case for c-c c-a c-i + cleaning.	Pierre Courtieu	2009-11-10
\|
*	Added keyboard shortcut in goals buffer.	Pierre Courtieu	2009-10-15
\|
*	Some more tokens	David Aspinall	2009-10-02
\|
*	Functions find-and-forget and count-undos now return lists of commands	David Aspinall	2009-09-28
\|
*	Added some more syntax keywords. Made admit tactic with its own red	Pierre Courtieu	2009-09-17
\| \| \| \|	culpabilizing face.
*	Added some syntax keywords thanks to Mathieu Sozeau.	Pierre Courtieu	2009-09-17
\|
*	Fixed error highlighting with utf8.	Pierre Courtieu	2009-09-17
\|
*	Fix compile warnings	David Aspinall	2009-09-16
\|
*	Fix highlighting of error region	David Aspinall	2009-09-15
\|
*	Surpress warnings for dynamic scoping	David Aspinall	2009-09-14
\|
*	Remove proof-strict-read-only-toggle call (no longer defined, and	David Aspinall	2009-09-14
\| \| \| \| \|	anyway wrong technique). Instead use inhibit-read-only to allow write in possibly read-only area.
*	Change mode names	David Aspinall	2009-09-14
\|
*	Move (require 'local-vars-list) to coq-local-vars	David Aspinall	2009-09-10
\|
*	Move (require 'local-vars-list) from coq.el	David Aspinall	2009-09-10
\|
*	Add back font-lock setting for shell (can turn on/off inside).	David Aspinall	2009-09-10
\| \| \| \|	Don't turn on holes in shell
*	Clean compile	David Aspinall	2009-09-10
\|
*	Fix compilation for Coq, including requires and some old/renamed settings.	David Aspinall	2009-09-10
\|
*	Another V-8-1 test	David Aspinall	2009-09-09
\|
*	Remove more V8 compatibility (thanks to Pierre for carefully highlighting it)	David Aspinall	2009-09-09
\|
*	Remove Coq 8.0 code	David Aspinall	2009-09-08
\|
*	Remove some spaces	David Aspinall	2009-09-08
\|
*	Remove more of 80 code	David Aspinall	2009-09-08
\|
*	Simplify coq-find-and-forget and drop v80 version	David Aspinall	2009-09-08
\|
*	Remove system-specific code as message before goals handled in core now. ↵	David Aspinall	2009-09-08
\| \| \| \|	Alter proof-shell-start-goals-regexp to work in buffer.
*	Comments	David Aspinall	2009-09-08
\|
*	Comments	David Aspinall	2009-09-08
\|
*	Oops: repair hybrid output broken by two window fix! See trac #109.	David Aspinall	2009-09-08
\|
*	Repair two-window working mode for when Coq doesn't produce hybrid output.	David Aspinall	2009-09-08
\| \| \| \| \| \|	Print Proof -> just Print in context menu. Temporarily inhibit read only in response buffer for error highlighting. Reduce time for error highlighting
*	Fix compiler warnings.	David Aspinall	2009-09-07
\|
*	(C) date	David Aspinall	2009-09-07
\|
*	Fix compile warnings and ensure compiled code behaves as expected.	David Aspinall	2009-09-07
\|
*	Fix compile warning, rearrange docs	David Aspinall	2009-09-07
\|
*	Require cl for compilation. Rearrange docs.	David Aspinall	2009-09-07
\|
*	Update for Unicode Tokens.	David Aspinall	2009-09-07
\|
*	Add documentation to explain usage.	David Aspinall	2009-09-07
\| \| \| \| \|	Add setting function for dynamic updates. Add further symbols and explanation of two ways of working.
*	Move holes menu to holes mode	David Aspinall	2009-09-06
\|
*	Remove proof-shell-wakeup-char, proof-shell-prompt-pattern.	David Aspinall	2009-09-06
\| \| \| \|	Unset proof-shell-end-goals-regexp.
*	Moved doc of holes to holes-mode	David Aspinall	2009-09-06
\|
*	Missing require	David Aspinall	2009-09-05
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	replace-in-string-> replace-regexp-in-string	David Aspinall	2009-09-05
\|
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Remove proof-no-command	David Aspinall	2009-09-04
\|