proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	More fixes in coq indentation.	Pierre Courtieu	2012-07-06
\|
*	Added some detail on the indentation limitation in the CHANGE.	Pierre Courtieu	2012-01-18
\|
*	Fix typo, mention HOL Light	David Aspinall	2012-01-12
\|
*	Add link to Prooftree download	David Aspinall	2012-01-04
\|
*	update CHANGES	Hendrik Tews	2012-01-03
\|
*	Will release 4.2 next, after all	David Aspinall	2011-12-23
\|
*	- protect proof-shell-handle-delayed-output against the case where	Hendrik Tews	2011-12-07
\| \| \| \| \|	proof-shell-end-goals-regexp is defined but does not match - add coq setting for hiding additional subgoals
*	Suggest PG 4.1.1 will be released next	David Aspinall	2011-11-15
\|
*	Bump doc version numbers to 4.2pre.	David Aspinall	2011-10-14
\|
*	coq-use-smie not enabled by default	David Aspinall	2011-06-22
\|
*	Ref to Coq chapter in PG manual	David Aspinall	2011-05-16
\|
*	Note recent changes	David Aspinall	2011-01-25
\|
*	Summary: New indentation code using SMIE	Stefan Monnier	2010-11-15
\| \| \| \| \| \| \| \| \| \|	* coq/coq.el (coq-build-prog-args): Avoid meaningless \- escape sequence. (coq-use-smie): New custom var. (coq-smie-grammar): New var. (coq-smie-rules): New function. (coq-guess-or-ask-for-string): Use use-region-p. (coq-mode-config): Use smie-setup if available. * lib/proof-compat.el (use-region-p): Provide fallback definition.
*	Updated.	David Aspinall	2010-11-03
\|
*	Update for config changes.	David Aspinall	2010-10-13
\|
*	proof-use-parser-cache=t default	David Aspinall	2010-10-11
\|
*	Clarify Emacs 22 version	David Aspinall	2010-10-10
\|
*	Support Emacs 23.1+ only.	David Aspinall	2010-10-10
\|
*	Document query identifier	David Aspinall	2010-10-01
\|
*	proof-script-command-separator: removed (always a space)	David Aspinall	2010-10-01
\|
*	Add Document Centred command. Adjust for new menu layout.	David Aspinall	2010-09-21
\|
*	Fixed the cleaning of goals buffer when proof completed	Pierre Courtieu	2010-09-09
\| \| \| \|	+ fixed the refreshing of modeline goal number display.
*	filled CHANGES a bit more precisely.	Pierre Courtieu	2010-09-09
\|
*	Fixed small bugs in indentation.	Pierre Courtieu	2010-09-09
\|
*	Fixed bug #346. Coq code was using proof-ids-to-regexp on regexp	Pierre Courtieu	2010-09-01
\| \| \| \|	instead of pure strings.
*	Updated	David Aspinall	2010-08-27
\|
*	Mention Fast Process Buffer	David Aspinall	2010-08-20
\|
*	Update.	David Aspinall	2010-08-15
\|
*	pg-protected-undo change	David Aspinall	2010-08-03
\|
*	Updated.	David Aspinall	2010-08-03
\|
*	Updated	David Aspinall	2009-12-04
\|
*	Updated	David Aspinall	2009-10-15
\|
*	Explain Unicode Tokens better	David Aspinall	2009-10-02
\|
*	Updated	David Aspinall	2009-09-14
\|
*	Elaborate on new settings	David Aspinall	2009-09-11
\|
*	* empty log message *	David Aspinall	2009-09-09
\|
*	* empty log message *	David Aspinall	2009-09-09
\|
*	Updated.	David Aspinall	2009-09-08
\|
*	Update, remove proof-shell-abort-goal-regexp	David Aspinall	2009-09-08
\|
*	Updated	David Aspinall	2009-09-06
\|
*	Remove use-specials-for-fontify	David Aspinall	2009-09-06
\|
*	Update.	David Aspinall	2009-09-06
\|
*	Updated	David Aspinall	2009-09-05
\|
*	Updated	David Aspinall	2009-09-04
\|
*	Updates	David Aspinall	2009-09-01
\|
*	Change centric->centred	David Aspinall	2009-08-13
\|
*	Update	David Aspinall	2009-08-07
\|
*	Add proof state hover messages to proof script, along with useful customization.	David Aspinall	2009-05-26
\|
*	Updated	David Aspinall	2009-05-26
\|
*	Updated	David Aspinall	2009-05-26
\|