proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
\|\
\| *	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
\|\\|
\| *	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
* \|	Modification of the coq-find-and-forget function, in order to use the	Pierre Courtieu	2002-05-29
* \|	Added some new tactic names	Pierre Courtieu	2002-05-29
* \|	Mistake in function name (Norbert Voelker <norbert@essex.ac.uk>)	David Aspinall	2002-05-21
* \|	updated URLxsymbol (unused);	Makarius Wenzel	2002-05-13
* \|	tuned isar-strip-terminators;	Makarius Wenzel	2002-05-10
* \|	fixed spelling;	Makarius Wenzel	2002-05-03
* \|	tuned comment;	Makarius Wenzel	2002-05-03
* \|	tuned proof-next-error setup;	Makarius Wenzel	2002-05-03
* \|	Updated.	David Aspinall	2002-05-03
* \|	Set version tag for new release.	David Aspinall	2002-05-03
* \|	New files.	David Aspinall	2002-05-03
* \|	Fix X-symbol URL	David Aspinall	2002-05-03
* \|	Fix font lock for E21 (I hope)	David Aspinall	2002-05-03
* \|	Try to support next-error key binding for both Emacs versions.	David Aspinall	2002-05-03
* \|	Reflect change in load order	David Aspinall	2002-05-03
* \|	Updates	David Aspinall	2002-05-03
* \|	Fix loading order to load Isar before Isa	David Aspinall	2002-05-03
* \|	Added support for proof-shell-next-error	David Aspinall	2002-05-03
* \|	Add support for proof-next-error.	David Aspinall	2002-05-03
* \|	Craftily set experimental fetures on for devel release.	David Aspinall	2002-05-03
* \|	Began adding generic line-width adjust	David Aspinall	2002-05-03
* \|	Remove indents	David Aspinall	2002-04-24
* \|	Updated list of SML keywords	David Aspinall	2002-04-24
* \|	Updated.	David Aspinall	2002-04-23
* \|	Set version tag for new release.	David Aspinall	2002-04-23
* \|	Fix URL for X-symbol	David Aspinall	2002-04-23
* \|	Updated	David Aspinall	2002-04-23
* \|	Add syntax highlighting cahanges from Lucas Dixon	David Aspinall	2002-04-23
* \|	Fix for E21 with isa-pre-shell-start.	David Aspinall	2002-04-23
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-04-22
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-04-22
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-04-16
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-04-16
\| *	This commit was manufactured by cvs2git to create branch 'xsym'.	cvs2git	2002-04-16