proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix for coloured face specs on Aquaemacs	David Aspinall	2006-01-08
\|
*	added \<setminus>;	Makarius Wenzel	2006-01-05
\|
*	added some keyword to coq tacics.	Pierre Courtieu	2005-11-28
\|
*	Added Module/End	David Aspinall	2005-11-25
\|
*	Fix Pierre's email	David Aspinall	2005-11-25
\|
*	actually revert to revision 8.15;	Makarius Wenzel	2005-11-14
\|
*	Added holes to "math...with" generation from a type name.	Pierre Courtieu	2005-11-09
\|
*	backtracking my change on function	Pierre Courtieu	2005-11-09
\| \| \| \| \|	proof-shell-invisible-cmd-get-result, we will fix this better with David soon (use of the noerror arg).
*	Typo	David Aspinall	2005-11-08
\|
*	added match...with automatic building from atype name.	Pierre Courtieu	2005-11-07
\| \| \| \|	Had to correct a bug in proof-shell.
*	bug fix	Christophe Raffalli	2005-10-20
\|
*	added lock and unlock for unification variables	Christophe Raffalli	2005-10-12
\|
*	Set version tag for new release.	David Aspinall	2005-10-04
\|
*	Make install-bin also install Isabelle and Lego scripts	David Aspinall	2005-10-04
\|
*	Updated	David Aspinall	2005-09-30
\|
*	Set version tag for new release.	David Aspinall	2005-09-30
\|
*	Fix multiple Isabelle submenus on mode popup.	David Aspinall	2005-09-30
\|
*	Update xml.el issue	David Aspinall	2005-09-30
\|
*	Dont overwrite distribution version of xml.el, only use fixed version for ↵	David Aspinall	2005-09-30
\| \| \| \|	XEmacs.
*	Updated.	David Aspinall	2005-09-30
\|
*	Renamed file	David Aspinall	2005-09-30
\|
*	Renamed file	David Aspinall	2005-09-30
\|
*	Comments.	David Aspinall	2005-09-30
\|
*	Remove proof-assistant-settings-cmd, now issued as standard.	David Aspinall	2005-09-30
\|
*	Remove proof-shell-init-cmd	David Aspinall	2005-09-30
\|
*	Add more user preferences, fix existing ones.	David Aspinall	2005-09-30
\|
*	Issue proof-assistant-settings-cmd standardly after init cmd.	David Aspinall	2005-09-30
\|
*	Rename PGIP packet attribute origin -> tag	David Aspinall	2005-09-30
\|
*	old specials are recogized again;	Makarius Wenzel	2005-09-28
\|
*	negotiate PGASCII only for proof-shell-unicode;	Makarius Wenzel	2005-09-28
\|
*	Make robust against missing advice package	David Aspinall	2005-09-28
\|
*	Compatibility in proof-buffer-syntactic-context for XEmacs 21.5. Buffer ↵	David Aspinall	2005-09-27
\| \| \| \|	tabs hack.
*	Shorter aux buffer names	David Aspinall	2005-09-27
\|
*	updated from pre-Isabelle2005;	Makarius Wenzel	2005-09-22
\|
*	Set version tag for new release.	David Aspinall	2005-09-22
\|
*	Updated.	David Aspinall	2005-09-22
\|
*	Updated.	David Aspinall	2005-09-22
\|
*	Addition from Tjark Weber for new commands	David Aspinall	2005-09-22
\|
*	Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"	David Aspinall	2005-09-21
\|
*	Updated.	David Aspinall	2005-09-21
\|
*	New files.	David Aspinall	2005-09-21
\|
*	Select EMACS based on xemacs if available, otherwise emacs	David Aspinall	2005-09-21
\|
*	Set version tag for new release.	David Aspinall	2005-09-21
\|
*	Fix PGHOMEDEFAULT	David Aspinall	2005-09-21
\|
*	Tweak.	David Aspinall	2005-09-21
\|
*	Add command menu	David Aspinall	2005-09-21
\|
*	back to xemacs as default;	Makarius Wenzel	2005-09-21
\|
*	I do not remember \!	Christophe Raffalli	2005-09-19
\|
*	better terminate ML code;	Makarius Wenzel	2005-09-18
\|
*	removed (again) -- may use isar/interface -I false instead;	Makarius Wenzel	2005-09-17
\|