proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	Fixed #419: coq synchronized variables are not anymore in the settings	Pierre Courtieu	2012-09-25
*	Fixed a bug in three windows mode.	Pierre Courtieu	2012-09-25
*	Added a menu to set the 3 windows layout.	Pierre Courtieu	2012-09-25
*	Fixed indentation in presence of "dot friends" like :?. etc.	Pierre Courtieu	2012-09-25
*	Fixed docstring of proof-layout-windows for two columns mode.Was not	Pierre Courtieu	2012-09-24
*	Fixing a docstring.	Pierre Courtieu	2012-09-24
*	Completing the possible layouts of proof-layout-windows (added the 3	Pierre Courtieu	2012-09-24
*	Fixing a bad interaction between one unicode token and electric	Pierre Courtieu	2012-09-21
*	Small fix in holes code.	Pierre Courtieu	2012-09-19
*	Set version tag for new release.	David Aspinall	2012-09-14
*	proof-shell-process-connection-type: try using pipes by default in Emacs 24,	David Aspinall	2012-09-14
*	Updated.	David Aspinall	2012-09-14
*	coq-remove-trailing-dot: Fix accidental dynamic binding so it compiles	David Aspinall	2012-09-14
*	no braces and bullets for prooftree	Hendrik Tews	2012-09-14
*	adjust proof-tree regexp for focused subgoals	Hendrik Tews	2012-09-14
*	treat #450 by requiring that proofs are started with Proof	Hendrik Tews	2012-09-12
*	Fix of the last commit.	Pierre Courtieu	2012-09-07
*	Added one point + details to CHANGES.	Pierre Courtieu	2012-09-07
*	Fix a bug that was letting "." in a wrong syntax category.	Pierre Courtieu	2012-09-07
*	Cleaning code and comments.	Pierre Courtieu	2012-09-07
*	Fixed a bug with coq symbol detection at point. Now dot notation.are supported.	Pierre Courtieu	2012-09-07
*	Fixed a bug with function name "eval" (end of).	Pierre Courtieu	2012-09-06
*	Fixed a bug with function name "eval".	Pierre Courtieu	2012-09-06
*	Fixed double hit terminator. Now it is disabled by default, and	Pierre Courtieu	2012-09-05
*	Set version tag for new release.	David Aspinall	2012-09-04
*	Fix compile for Emacs 24	David Aspinall	2012-09-04
*	Disable HOL Light support for release version	David Aspinall	2012-09-04
*	Remove functions defined for Emacs 22 compatibility	David Aspinall	2012-09-02
*	Repair operation with compiled code. Fails with interpreter, see Trac #445	David Aspinall	2012-09-02
*	Remove ref to file parsingcheck-412.v missing from CVS, so "make coq.autotest...	David Aspinall	2012-09-02
*	Fix header	David Aspinall	2012-09-02
*	Set version tag for new release.	David Aspinall	2012-09-02
*	Three windows mode is back as the default mode.	Pierre Courtieu	2012-08-31
*	Changed the behaviour of proof-layout-windows. Now it follows the	Pierre Courtieu	2012-08-31
*	Fixing a bug happening in coq when three win mode on and scripting	Pierre Courtieu	2012-08-31
*	Setting nil by default the option to create resp and goals buffer	Pierre Courtieu	2012-08-31
*	Resize response window when showing an ancient goal.	Pierre Courtieu	2012-08-31
*	Fixing previous commit on double hit.	Pierre Courtieu	2012-08-31
*	Impementing a "double hit" electric terminator. Idea: do electric	Pierre Courtieu	2012-08-30
*	Summary: Don't quote lambda expressions	Stefan Monnier	2012-08-30
*	Added some new behavior to the usual 'show goal' shortcut: if point is	Pierre Courtieu	2012-08-30
*	Illustrat Trac #447	David Aspinall	2012-08-27
*	Fixed an error when smie not present in the system.	Pierre Courtieu	2012-08-24
*	Add option proof-layout-windows-on-visit-file, addressing Trac #444	David Aspinall	2012-08-16
*	Emacs 24 update	David Aspinall	2012-08-16
*	Better colours on dark frames	David Aspinall	2012-08-16
*	Updated	David Aspinall	2012-08-16
*	Emacs 24 compatibility (ucs-insert -> insert-char)	David Aspinall	2012-08-16
*	Fix lambda quote	David Aspinall	2012-08-16
*	Set version tag for new release.	David Aspinall	2012-08-14