proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
*	Set version tag for new release.	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
\|
*	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
\|
*	actually revert to revision 8.15;	Makarius Wenzel	2005-11-14
\|
*	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).
*	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
\|
*	Set version tag for new release.	David Aspinall	2005-10-04
\|
*	Set version tag for new release.	David Aspinall	2005-09-30
\|
*	Fix multiple Isabelle submenus on mode popup.	David Aspinall	2005-09-30
\|
*	Dont overwrite distribution version of xml.el, only use fixed version for ↵	David Aspinall	2005-09-30
\| \| \| \|	XEmacs.
*	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
\|
*	Make robust against missing advice package	David Aspinall	2005-09-28
\|
*	Shorter aux buffer names	David Aspinall	2005-09-27
\|
*	Set version tag for new release.	David Aspinall	2005-09-22
\|
*	Fix toolbar support on Mac OSX Carbon Emacs which has window-system="mac"	David Aspinall	2005-09-21
\|
*	Set version tag for new release.	David Aspinall	2005-09-21
\|
*	I do not remember \!	Christophe Raffalli	2005-09-19
\|
*	Set version tag for new release.	David Aspinall	2005-09-15
\|
*	refer to proof-shell-unicode for process-environment and coding-system;	Makarius Wenzel	2005-09-14
\|
*	added proof-shell-unicode;	Makarius Wenzel	2005-09-14
\|
*	moved pg-special-char-regexp to proof-config.el;	Makarius Wenzel	2005-09-01
\| \| \| \|	added pg-remove-specials-in-string;
*	added proof-search-forward, proof-replace-regexp-in-string;	Makarius Wenzel	2005-09-01
\| \| \| \|	avoid (re-)search-forward, which does not observe proof-case-fold-search;
*	eager message: perform pg-remove-specials-in-string after ↵	Makarius Wenzel	2005-09-01
\| \| \| \|	pg-assoc-strip-subterm-markup;
*	added pg-special-char-regexp (used to be a constant in proof-utils.el);	Makarius Wenzel	2005-09-01
\|
*	Set version tag for new release.	David Aspinall	2005-08-10
\|
*	Fix to help menu from Timothy Bourke	David Aspinall	2005-08-10
\|
*	Move some keybindings from script mode to universal keys	David Aspinall	2005-08-10
\|
*	Documentation.	David Aspinall	2005-08-09
\|
*	Resolve buffer for background resolution prover (Claire Quigley)	David Aspinall	2005-07-27
\|
*	Add proof-general-version-year	David Aspinall	2005-07-15
\|
*	Set version tag for new release.	David Aspinall	2005-07-15
\|
*	Missing proof-compat in proof-splash	David Aspinall	2005-07-15
\|
*	* empty log message *	Christophe Raffalli	2005-07-05
\|
*	Set version tag for new release.	David Aspinall	2005-06-02
\|
*	Key bindings for proof-shell-exit, proof-shell-start.	David Aspinall	2005-05-31
\|
*	Comments.	David Aspinall	2005-05-31
\|
*	Set version tag for new release.	David Aspinall	2005-05-17
\|
*	- Don't just reuse visible frames but also iconified ones.	David Aspinall	2005-05-17
\| \| \| \| \| \|	- When proof-three-window-enable is nil, don't mark a dedicated window as non-dedicated. - Don't make the window-size-fixed. It's a real pain in the rear.
*	Documentation.	David Aspinall	2005-05-17
\|
*	Disable Twelf support by default	David Aspinall	2005-05-17
\|
*	Fix the removal of ".UTF-8" from LANG.	David Aspinall	2005-05-17
\|
*	Updated.	David Aspinall	2005-05-17
\|
*	- shell-command-to-string can fail in various corner cases.	David Aspinall	2005-05-17
\|