proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	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
\|\ \| \| \| \|	branch.
\| *	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
\|\\| \| \| \| \|	branch.
\| *	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
\| \| \| \| \| \| \| \|	Cherrypick from master 2002-04-16 13:38:30 UTC David Aspinall <da@inf.ed.ac.uk> 'Initial revision': x-symbol/lisp/Makefile
* \|	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
\|\\| \| \| \| \|	branch.
\| *	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 ↵	David Aspinall	2002-03-21
\| \| \| \| \| \| \| \|	proof-shell-truncate-before-error setting.
* \|	Dont set type property for proof elements (experiment). Tweak name ↵	David Aspinall	2002-03-21
\| \| \| \| \| \| \| \|	determination/reporting. Provide generic implementation of find-and-forget. Dont warn about some unnecessary settings
* \|	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
\|\\| \| \| \| \|	branch.
\| *	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
\|\\| \| \| \| \|	branch.
\| *	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
\|\\| \| \| \| \|	branch.
\| *	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
\|\\| \| \| \| \|	branch.