proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	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
\|
*	Set version tag for new release.	David Aspinall	2005-03-25
\|
*	Updated.	David Aspinall	2005-03-21
\|
*	Added simple testing framework (in progress)	David Aspinall	2005-02-13
\|
*	Remove setting of x-symbol-language by C Raffalli.	David Aspinall	2005-02-13
\|
*	Add patch by Stefan Monnier to revert frame titles (although would have ↵	David Aspinall	2005-02-13
\| \| \| \|	liked to keep them maybe)
*	Add suggestion by Stefan Monnier (comment only)	David Aspinall	2005-02-13
\|
*	* empty log message *	Christophe Raffalli	2005-02-09
\|