proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update FAQ for X-Symbol large fonts (from Clemens Ballarin)	David Aspinall	2005-02-15
\|
*	Modified holes doc string to fit to new shortcut of holes-mode.	Pierre Courtieu	2005-02-15
\|
*	Changes from Clemens Ballarin for large X-Symbol fonts	David Aspinall	2005-02-15
\|
*	New files.	David Aspinall	2005-02-15
\|
*	Finished making holes.el a real minor-mode. There is a new file	Pierre Courtieu	2005-02-15
\| \| \| \| \| \| \| \| \|	holes-load.el which defines the autoloads (enough of them?). All functions have the prefix "holes-", and offending keyboard shortcuts have been either removed or bound to the minor mode. I made holes-mode minor mode automatically turned on in all proof buffers in coq mode (including shell, script and response buffers as it may be useful to copy paste parts of this buffers into holes).
*	cleaning holes.el. All functions are prefixed with "holes-". Also	Pierre Courtieu	2005-02-14
\| \| \| \|	modified coq.el and coq-abbrev.el accordingly.
*	Starting to clean holes.el following Stefan Monnier's advices. Making	Pierre Courtieu	2005-02-14
\| \| \| \|	holes a real minor-mode.
*	Comments.	David Aspinall	2005-02-13
\|
*	Force branch version	David Aspinall	2005-02-13
\|
*	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
\|
*	Attempt to address X-Symbol startup problems for PhoX.	David Aspinall	2005-02-13
\|
*	Deleted compatibility for coq v6 and v7 + new backtracking system. For	Pierre Courtieu	2005-02-10
\| \| \| \|	now it can be triggered only by using coq-version-is-v8-1.
*	* empty log message *	Christophe Raffalli	2005-02-09
\|
*	FAQ #1 typo	David Aspinall	2005-02-01
\|
*	Patch from Stefan Monnier:	David Aspinall	2005-01-28
\| \| \| \| \| \| \| \|	The * of (* is not quoted in the font-lock keywords leading to the possibility of matching the empty string, which tends to put font-lock in an infinite loop. Actually I think the infinite looping is due to a local bug in my experimental Emacs code, but the \\ is needed in order to really match what was intended.
*	Mention to check FAQ too	David Aspinall	2005-01-07
\|
*	changes to pbrpm	Christophe Raffalli	2004-12-08
\|
*	Name change of TODO/BUGS files	David Aspinall	2004-12-01
\|
*	Renamed file	David Aspinall	2004-12-01
\|
*	Docstring: clarify arg type in proof-define-assitant-command-witharg	David Aspinall	2004-11-30
\|
*	Updated.	David Aspinall	2004-11-30
\|
*	Fixes	David Aspinall	2004-11-30
\|
*	work on proof by contextual menu for phox	Christophe Raffalli	2004-11-22
\|
*	replaced root2.phx by new square-root-2.phx	Christophe Raffalli	2004-10-20
\|
*	improvment of phox-x-symbol, supress sym-lock, first support for proof by ↵	Christophe Raffalli	2004-10-20
\| \| \| \|	contextual menu
*	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
\|
*	Repaired fix suggested by Jonathan S. Shapiro	David Aspinall	2004-10-07
\|
*	Remove print draft from menu	David Aspinall	2004-10-07
\|
*	No change	David Aspinall	2004-10-05
\|
*	Updates	David Aspinall	2004-10-05
\|
*	Add pg-xml-cdata	David Aspinall	2004-10-05
\|
*	Documentation.	David Aspinall	2004-10-05
\|
*	Include /usr/bin/isatool as a possibility	David Aspinall	2004-10-05
\|
*	Add emacs, xemacs as build requires suggested by J Shapiro	David Aspinall	2004-10-05
\|
*	Bug fix suggested by Jonathan S. Shapiro	David Aspinall	2004-10-05
\|
*	Fix to `isa-shell-command-to-string' 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
\|
*	Add spaces after setting commands to separate. Temporarily disable ↵	David Aspinall	2004-09-14
\| \| \| \|	print-only-first-subgoal.
*	Typo	David Aspinall	2004-09-11
\|
*	* empty log message *	David Aspinall	2004-08-31
\|
*	Set version tag for new release.	David Aspinall	2004-08-31
\|
*	Fix backward compatibility with Isabelle 2004.	David Aspinall	2004-08-31
\|
*	debugged the indentation of coq (bug report of Batsiaan Zapf august	Pierre Courtieu	2004-08-30
\| \| \| \| \|	3rd 2004). I found another bug (infinite loop due to an error in coq-back-to-indentation-prevline).
*	Try to avoid filtering/urgent-message-processing of input	David Aspinall	2004-08-26
\|