proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Set version tag for new release.	David Aspinall	2008-07-24
\|
*	Load proof-autoloads earlier	David Aspinall	2008-07-24
\|
*	Set version tag for new release.	David Aspinall	2008-07-23
\|
*	Set version tag for new release.	David Aspinall	2008-07-22
\|
*	proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,	David Aspinall	2008-07-21
\| \| \| \|	with improvement due to Stefan Monnier. No change for XEmacs.
*	Changed the main menu of coq. Changed a shortcut for holes.	Pierre Courtieu	2008-07-21
\|
*	Default proof-allow-undo-in-read-only to t	David Aspinall	2008-07-21
\|
*	Set version tag for new release.	David Aspinall	2008-07-19
\|
*	Set version tag for new release.	David Aspinall	2008-07-17
\|
*	Remove mention of unicode-tokens2	David Aspinall	2008-07-16
\|
*	Deleted file	David Aspinall	2008-07-16
\|
*	Set version tag for new release.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Disable Unicode Tokens 2	David Aspinall	2008-07-10
\|
*	Documentation.	David Aspinall	2008-07-10
\|
*	Set version tag for new release.	David Aspinall	2008-07-10
\|
*	Minimal patch for Sledgehammer problem with Isabelle.	David Aspinall	2008-07-10
\| \| \| \| \|	Credit due to Makarius. Tested very briefly with Coq. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/200
*	Reverse 8.28, buffer-substring-no-properties -> buffer-substring.	David Aspinall	2008-07-10
\| \| \| \| \| \|	This fixes Unicode Tokens handling of sub/super scripts, etc. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214 Thanks to Simon Winwood for identifying failure point.
*	Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may ↵	David Aspinall	2008-07-09
\| \| \| \|	cause breakage on older Emacs (tested on 22.2).
*	Set version tag for new release.	David Aspinall	2008-07-08
\|
*	Set version tag for new release.	David Aspinall	2008-07-07
\|
*	Set version tag for new release.	David Aspinall	2008-07-06
\|
*	Set version tag for new release.	David Aspinall	2008-07-05
\|
*	Clarify unimplemented settings	David Aspinall	2008-07-05
\|
*	Add use-holes setting.	David Aspinall	2008-07-05
\|
*	Revert cursor hide in goals and response to avoid user confusion; use bar ↵	David Aspinall	2008-07-05
\| \| \| \|	cursor.
*	TEMPORARY: add unicode-tokens2 mechanism to test across different machines	David Aspinall	2008-07-05
\|
*	Set version tag for new release.	David Aspinall	2008-05-26
\|
*	Set version tag for new release.	David Aspinall	2008-02-17
\|
*	Symmetric change for #201	David Aspinall	2008-02-17
\|
*	Comments.	David Aspinall	2008-02-17
\|
*	Fix clash with X-Symbol resulting in enabling then disabling symbols	David Aspinall	2008-02-17
\|
*	unicode-tokens: Experimental multiple font support	David Aspinall	2008-02-17
\|
*	Unicode tokens: support face changing via 'font-lock-face'	David Aspinall	2008-02-09
\|
*	Set version tag for new release.	David Aspinall	2008-02-06
\|
*	Updated.	David Aspinall	2008-02-06
\|
*	proof-unicode-tokens-set-global: call proof-unicode-tokens-init.	David Aspinall	2008-02-06
\|
*	proof-quick-opts-vars: add <PA>-unicode-tokens-enable	David Aspinall	2008-02-06
\|
*	Use proof-auxmodes to load auxiliary modes properly when required.	David Aspinall	2008-02-06
\|
*	New files.	David Aspinall	2008-02-06
\|
*	proof-ready-for-assistant: Only make ready for assistant once(!)	David Aspinall	2008-02-06
\|
*	Further configuration settings	David Aspinall	2008-02-04
\|
*	Set version tag for new release.	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)
*	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.
*	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.