proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Make hack for XEmacs 21.4 also work for later versions	David Aspinall	2002-06-12
\|
*	Changed the CHANGES file for Coq.	Pierre Courtieu	2002-06-12
\|
*	Nested proofs in Coq are well backtracked! I used the new field	Pierre Courtieu	2002-06-12
\| \| \| \| \|	'nestedundos created by David. Will change the CHANGE file accordingly.
*	Adjust proof-nesting depth, add FIXME notes since not right yet	David Aspinall	2002-06-12
\|
*	New files.	David Aspinall	2002-06-12
\|
*	Add proof-nested-undo-regexp setting	David Aspinall	2002-06-12
\|
*	Add nestedundos setting to span, and proof-nested-undo-regexp setting	David Aspinall	2002-06-12
\|
*	Replace with example from Pierre	David Aspinall	2002-06-11
\|
*	Only match saves for prover that supports nested proofs (restores old ↵	David Aspinall	2002-06-11
\| \| \| \|	behaviour for Isar). Isar goal/save regexps dont match up properly.
*	Not important.	Pierre Courtieu	2002-06-11
\|
*	CHANGE is cleaner in the Coq part! Not important.	Pierre Courtieu	2002-06-11
\|
*	Added changes in CHANGE about my new customization variables	Pierre Courtieu	2002-06-11
\| \| \| \|	coq-user-backable-command etc.
*	Added the coq-user-... elisp customization variables to allow the user	Pierre Courtieu	2002-06-11
\| \| \| \| \|	to defclare new commands and tactics: must typically be customized in .emacs.
*	Remove proof-nested-goals-p setting	David Aspinall	2002-06-11
\|
*	Improved proof-nesting-depth (not finished yet)	David Aspinall	2002-06-11
\|
*	Fixed a bug of the new synchro code (coq-find-and-forget) in	Pierre Courtieu	2002-06-11
\| \| \| \|	coq.el. Now do not count Tactics and unsaved goal commands for "Back".
*	Add proof-nesting-depth, new implementation of span amalgamation in ↵	David Aspinall	2002-06-11
\| \| \| \|	proof-done-advancing.
*	Set nested goals; include Lemma again in def of goal.	David Aspinall	2002-06-11
\|
*	New files.	David Aspinall	2002-06-11
\|
*	Mention not supporting E21	David Aspinall	2002-06-08
\|
*	Updated.	David Aspinall	2002-06-08
\|
*	Add install for isartags	David Aspinall	2002-06-08
\|
*	Updated.	David Aspinall	2002-06-08
\|
*	Fix bug in string syntax in isar-strip-terminators: did this work correctly ↵	David Aspinall	2002-06-08
\| \| \| \|	before?
*	Clean up span.el loading; make compat with bbdb.el in FSF	David Aspinall	2002-06-08
\|
*	Clean up span.el loading	David Aspinall	2002-06-08
\|
*	Updated.	David Aspinall	2002-06-08
\|
*	Updates	David Aspinall	2002-06-08
\|
*	Remove duplicate	David Aspinall	2002-06-08
\|
*	Add isartags	David Aspinall	2002-06-08
\|
*	Program [broken]	David Aspinall	2002-06-08
\|
*	Update magic	David Aspinall	2002-06-08
\|
*	Default to /usr/bin/perl	David Aspinall	2002-06-08
\|
*	Note about removing dirs	David Aspinall	2002-06-08
\|
*	Remove PGK mention, other obs projects	David Aspinall	2002-06-08
\|
*	Updated.	David Aspinall	2002-06-08
\|
*	Robustness fixes/bug notes	David Aspinall	2002-06-08
\|
*	Spacing	David Aspinall	2002-06-08
\|
*	Tweak liveness test	David Aspinall	2002-06-08
\|
*	Alter order	David Aspinall	2002-06-08
\|
*	Fix keysym to use FSF syntax	David Aspinall	2002-06-08
\|
*	Set version tag for new release.	David Aspinall	2002-06-08
\|
*	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-06-07
\|\ \| \| \| \|	branch.
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-06-07
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-06-07
\|\\| \| \| \| \|	branch.
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-06-07
\| \|
* \|	Add types_code and friends	David Aspinall	2002-06-05
\| \|
* \|	Made a negative test to compute the number of "Back n" in	Pierre Courtieu	2002-05-29
\| \| \| \| \| \| \| \|	coq-find-and-forget.
* \|	Modification of the coq-find-and-forget function, in order to use the	Pierre Courtieu	2002-05-29
\| \| \| \| \| \| \| \| \| \|	new "Back n." command of coq to make the syncronization better. Seems to work, need to test.
* \|	Added some new tactic names	Pierre Courtieu	2002-05-29
\| \|