proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
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
	Enable fontsets command on menu always for now.
2008-07-24	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-23	Updated.	David Aspinall

2008-07-23	Fix version	David Aspinall

2008-07-23	Set version tag for new release.	David Aspinall

2008-07-22	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-21	proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,	David Aspinall
	with improvement due to Stefan Monnier. No change for XEmacs.
2008-07-21	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-19	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-18	Updated.	David Aspinall

2008-07-18	Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour	David Aspinall
	with cut-and-paste and when typing tokens directly. Trac#223.
2008-07-18	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-17	Set version tag for new release.	David Aspinall

2008-07-16	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-12	backport of recent changes to lib/unicode-tokens.el:	Makarius Wenzel
	cover isup as well;
2008-07-12	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
	proof-ready-for-assitant works
2008-07-12	Set version tag for new release.	David Aspinall

2008-07-12	Updated.	David Aspinall

2008-07-12	Correct italic attribute	David Aspinall

2008-07-11	x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable ↵	Makarius Wenzel
	xsymb font;
2008-07-11	backport of recent changes to isar-unicode-tokens.el:	Makarius Wenzel
	more precise regexps isar-token-match, isar-control-token-match; isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expects; isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle; add back \|-> shortcut;
2008-07-10	Add NOTE	David Aspinall