proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Updates for 4.0	David Aspinall	2008-08-03
\|
*	Fixed the bug with coq-guess-command-line.	Pierre Courtieu	2008-07-24
\|
*	Fix for deferred loading of maths menu.	David Aspinall	2008-07-24
\|
*	Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.	David Aspinall	2008-07-24
\|
*	Fix for deferred loading of maths menu and unicode tokens.	David Aspinall	2008-07-24
\|
*	unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ↵	David Aspinall	2008-07-24
\| \| \| \|	Enable fontsets command on menu always for now.
*	Allow generating variants of given fonts too	David Aspinall	2008-07-24
\|
*	Note about Emacs.app	David Aspinall	2008-07-24
\|
*	Add back lost provide	David Aspinall	2008-07-24
\|
*	* empty log message *	David Aspinall	2008-07-24
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Set version tag for new release.	David Aspinall	2008-07-24
\|
*	Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233	David Aspinall	2008-07-24
\|
*	Load proof-autoloads earlier	David Aspinall	2008-07-24
\|
*	Updated.	David Aspinall	2008-07-23
\|
*	Fix version	David Aspinall	2008-07-23
\|
*	Set version tag for new release.	David Aspinall	2008-07-23
\|
*	Add Graham Dutton	David Aspinall	2008-07-22
\|
*	Set version tag for new release.	David Aspinall	2008-07-22
\|
*	Deleted file	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
\|
*	todo added fo coq.	Pierre Courtieu	2008-07-21
\|
*	Clarify that editing this script is expected	David Aspinall	2008-07-19
\|
*	New files.	David Aspinall	2008-07-19
\|
*	Update for new syntax	David Aspinall	2008-07-19
\|
*	Add lbrace, rbrace	David Aspinall	2008-07-19
\|
*	Set version tag for new release.	David Aspinall	2008-07-19
\|
*	Updated.	David Aspinall	2008-07-19
\|
*	Fix typo.	David Aspinall	2008-07-19
\|
*	Updated.	David Aspinall	2008-07-18
\|
*	Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour	David Aspinall	2008-07-18
\| \| \| \|	with cut-and-paste and when typing tokens directly. Trac#223.
*	Mac OS: default to XSymb1.ttf;	Makarius Wenzel	2008-07-18
\|
*	added scalable X-Symbol fonts -- the Jerusalem version from 2004;	Makarius Wenzel	2008-07-18
\|
*	Set version tag for new release.	David Aspinall	2008-07-17
\|
*	Remove mention of unicode-tokens2	David Aspinall	2008-07-16
\|
*	Remove use of :help for menu tooltips- GNU Emacs only.	David Aspinall	2008-07-16
\|
*	Deleted file	David Aspinall	2008-07-16
\|
*	backport of recent changes to lib/unicode-tokens.el:	Makarius Wenzel	2008-07-12
\| \| \| \|	cover isup as well;
*	Updated.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Update for 3.7.1	David Aspinall	2008-07-12
\|
*	New files.	David Aspinall	2008-07-12
\|
*	Update docstrings	David Aspinall	2008-07-12
\|
*	Fix loading of multiple prover files: set proof-assistant-table to nil so ↵	David Aspinall	2008-07-12
\| \| \| \|	proof-ready-for-assitant works
*	Set version tag for new release.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Correct italic attribute	David Aspinall	2008-07-12
\|
*	x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable ↵	Makarius Wenzel	2008-07-11
\| \| \| \|	xsymb font;