proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	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
\|
*	Mention to check FAQ too	David Aspinall	2005-01-07
\|
*	changes to pbrpm	Christophe Raffalli	2004-12-08
\|
*	Docstring: clarify arg type in proof-define-assitant-command-witharg	David Aspinall	2004-11-30
\|
*	Updated.	David Aspinall	2004-11-30
\|
*	work on proof by contextual menu for phox	Christophe Raffalli	2004-11-22
\|
*	added first (experimental) support for proof by contextual menu (pg-pbrpm.el)	Christophe Raffalli	2004-10-20
\|
*	added proof-x-symbol-set-language for script buffer	Christophe Raffalli	2004-10-20
\|
*	fixed a problem with x-symbol not enables in script buffer	Christophe Raffalli	2004-10-20
\|
*	Updates	David Aspinall	2004-10-05
\|
*	Add pg-xml-cdata	David Aspinall	2004-10-05
\|
*	Bug fix suggested by Jonathan S. Shapiro	David Aspinall	2004-10-05
\|
*	Add arg to forward-comment for GNU Emacs.	David Aspinall	2004-10-04
\|
*	Fix bug in proof-debug for GNU Emacs	David Aspinall	2004-09-21
\|
*	Set version tag for new release.	David Aspinall	2004-08-31
\|
*	Fix backward compatibility with Isabelle 2004.	David Aspinall	2004-08-31
\|
*	Try to avoid filtering/urgent-message-processing of input	David Aspinall	2004-08-26
\|
*	Fixes for idtables	David Aspinall	2004-08-26
\|
*	New files.	David Aspinall	2004-08-25
\|
*	Set version tag for new release.	David Aspinall	2004-08-25
\|
*	Add pg-internal-warning. Use display-warning for that and proof-debug, if ↵	David Aspinall	2004-08-25
\| \| \| \|	available.
*	Use proof-general-short-version	David Aspinall	2004-08-25
\|
*	Extended and updated PGIP support for PGIP 2.X	David Aspinall	2004-08-25
\|
*	Overhaul to use xml.el parsing and printing.	David Aspinall	2004-08-25
\|
*	Extensions to support PGIP 2.X settings format.	David Aspinall	2004-08-25
\|