proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Detect EMACS setting.	David Aspinall	2006-05-26
\|
*	Add C-g watcher for trace buffer	David Aspinall	2006-05-26
\|
*	Fix to remove mention of coding-system-for-write, coding-system-for-read not ↵	David Aspinall	2006-05-23
\| \| \| \|	available on non-Mule compiles
*	Note about proof-shell-unicode setting.	David Aspinall	2006-05-11
\|
*	Note about proof-shell-unicode setting.	David Aspinall	2006-05-11
\|
*	Modified documentation abou file variables to be compliant with new	Pierre Courtieu	2006-04-26
\| \| \| \|	xxx-prog-args variabel.
*	Changed the type of proof-goal-command-p. It takes now a span, which	Pierre Courtieu	2006-04-26
\| \| \| \| \| \|	allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
*	back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ↵	Christophe Raffalli	2006-02-24
\| \| \| \|	imporvment in proof by contextual menu
*	made coq error regexp more precise	Pierre Courtieu	2006-02-16
\|
*	Set version tag for new release.	David Aspinall	2006-02-14
\|
*	Note	David Aspinall	2006-02-14
\|
*	Comments	David Aspinall	2006-02-14
\|
*	Add example settings for coq-prog-args and coq-prog-env	David Aspinall	2006-02-14
\|
*	Revert use of 'raw-text for coding-system-for-read/write since it changes ↵	David Aspinall	2006-02-14
\| \| \| \|	behaviour in at least one Emacs version, causing PG to hang.
*	Add back lost edits	David Aspinall	2006-02-14
\|
*	Add <PA>-prog-args and <PA>-prog-env	David Aspinall	2006-02-14
\|
*	support nested blocks of super/sub-script, but only the outermost level	Makarius Wenzel	2006-02-13
\| \| \| \|	is actually displayed as such -- by Clemens Ballarin;
*	isar-preprocessing: replace \n by \<^newline>;	Makarius Wenzel	2006-02-12
\|
*	isar-goals-font-lock-keywords: "abbreviations";	Makarius Wenzel	2006-02-10
\|
*	Cleanup version testing, prevent crash in case version string doesn't match.	David Aspinall	2006-02-09
\|
*	typo in coq.el for regexp of sections.	Pierre Courtieu	2006-01-28
\|
*	Fix from Paul	David Aspinall	2006-01-27
\|
*	commit of a small patch from Stefan Monnier, to fix a small bug of	Pierre Courtieu	2006-01-10
\| \| \| \|	drag-mouse-region with holes.
*	PG 3.6: remove Info item from toolbar; it's not very useful and under ↵	David Aspinall	2006-01-09
\| \| \| \|	PA->Help anyway
*	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
\|