proof-general - Emacs interface for proof assistants

	Commit message (Expand)	Author	Age
*	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
* \|	Initial revision	David Aspinall	2002-04-16
* \|	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
* \|	Updated.	David Aspinall	2002-03-22
* \|	Updated.	David Aspinall	2002-03-22
* \|	Set version tag for new release.	David Aspinall	2002-03-22
* \|	* empty log message *	Christophe Raffalli	2002-03-21
* \|	Updated.	David Aspinall	2002-03-21
* \|	Improvement to ACL2	David Aspinall	2002-03-21
* \|	Greatly improved support.	David Aspinall	2002-03-21
* \|	Typo	David Aspinall	2002-03-21
* \|	No longer recommend XEmacs exclusively.	David Aspinall	2002-03-21
* \|	FSF -> GNU	David Aspinall	2002-03-21
* \|	Updated.	David Aspinall	2002-03-21
* \|	Set version tag for new release.	David Aspinall	2002-03-21
* \|	Revert accidental commit by crr	David Aspinall	2002-03-21
* \|	Updated.	David Aspinall	2002-03-21
* \|	Year changes	David Aspinall	2002-03-21
* \|	Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-befo...	David Aspinall	2002-03-21
* \|	Dont set type property for proof elements (experiment). Tweak name determina...	David Aspinall	2002-03-21
* \|	Added activations for frame/window controls.	David Aspinall	2002-03-21
* \|	Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.	David Aspinall	2002-03-21
* \|	Added emultation of display-graphic-p for XEmacs	David Aspinall	2002-03-21
* \|	Add header to XML docs	David Aspinall	2002-03-21
* \|	New files.	David Aspinall	2002-03-21
* \|	Document some new settings	David Aspinall	2002-03-21
* \|	added hook: proof-before-fontify-output-hook	Christophe Raffalli	2002-03-21
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-03-18
\|\\|
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2002-03-18
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-03-18
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-03-18
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-03-12
\|\\|
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-03-12
* \|	* empty log message *	Christophe Raffalli	2002-03-05
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-02-23
\|\\|