proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Attempt at Emacs 23 compatibility, not quite working.	David Aspinall	2008-02-03
\|
*	Updated.	David Aspinall	2008-02-03
\|
*	Deleted file	David Aspinall	2008-02-03
\|
*	Move to 3.7.1 pre-rel	David Aspinall	2008-02-03
\|
*	coq:cutomizable bound variable highlight (finally working)	Assia Mahboubi	2008-02-01
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Update maintainers to add back the key person, 8-).	David Aspinall	2008-01-31
\|
*	Update versions here.	David Aspinall	2008-01-31
\|
*	Set version tag for new release.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Add another window system: w32 for win 32.	David Aspinall	2008-01-31
\| \| \| \|	Really we should use default here to get rid of this list.
*	comment: proof-compat not needed for pg-defface-window-systems (but leave in ↵	David Aspinall	2008-01-31
\| \| \| \|	now)
*	Revert last change, shell-command-to-string gives error when called	David Aspinall	2008-01-31
\| \| \| \| \|	with c:\Program Files\blah due to space in filename. Code here needs reworking more heavily for out-of-the-box Windows working.
*	Use coq-prog-name when looking for library, not hard coded coqtop	David Aspinall	2008-01-31
\|
*	Use proof-locate-executable so works out-of-the-box on Windows.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Fix date	David Aspinall	2008-01-31
\|
*	Update note re Carbon Emacs	David Aspinall	2008-01-31
\|
*	Remove CVS merge junk!	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Make mouse 1 binding compatible also with XEmacs.	David Aspinall	2008-01-31
\|
*	Sendback commands from response buffer sent via assert-until-point, with ↵	David Aspinall	2008-01-31
\| \| \| \|	ordinary span construction.
*	Add nomodify argument to set-buffer-file-coding-system call, to	David Aspinall	2008-01-31
\| \| \| \| \|	prevent buffer modification when switching X-Symbol on (seen on Carbon Emacs 22.1.50.1)
*	Expand info on X-Symbol Mac	David Aspinall	2008-01-31
\|
*	Credit Mitsuharu Yamamoto.	David Aspinall	2008-01-31
\|
*	More apparent decoration for active (sendback) areas	David Aspinall	2008-01-31
\|
*	Sendback commands from response buffer sent via assert-until-point, with ↵	David Aspinall	2008-01-31
\| \| \| \|	ordinary span construction.
*	Remove semi-colons. Literal commands triggered in response buffer	David Aspinall	2008-01-31
\| \| \| \| \|	are now sent individually. Should be compatible with original PBP behaviour which worked from goals buffer (and is anyway no longer used).
*	Add a mouse-1 binding for active areas in goals/response output.	David Aspinall	2008-01-31
\|
*	updated CHANGES	Assia Mahboubi	2008-01-31
\| \| \| \|	added an example file in coq/
*	Set version tag for new release.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Comments.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Remove duplicate default target. Add doc for EMACS setting egs.	David Aspinall	2008-01-31
\|
*	Move version check in case proof-site.el is loaded, not proof-site.elc	David Aspinall	2008-01-31
\|
*	Say "Partial" for this X-Symbol support	David Aspinall	2008-01-31
\|
*	Mention X-Symbol on native Mac	David Aspinall	2008-01-31
\|
*	Fix compile problem in x-symbol-mac-setup2	David Aspinall	2008-01-31
\|
*	Note about instructions on X-Symb for Mac	David Aspinall	2008-01-31
\|
*	Instructions on X-Symb for Mac	David Aspinall	2008-01-31
\|
*	Note about isaxsymb1.ttf	David Aspinall	2008-01-31
\|
*	Disable X-Symbol on emacs >= 23. Internal interfaces have changed	David Aspinall	2008-01-31
\| \| \| \| \|	there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious.
*	Added Assia's contribution to ssreflect mode for coq in CHANGES.	Pierre Courtieu	2008-01-31
\|
*	Fix RCS tags	David Aspinall	2008-01-30
\|
*	New major version for pending release.	David Aspinall	2008-01-30
\|
*	Remove more zip	David Aspinall	2008-01-30
\|