proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Use X-Symbol supplied functions for encoding input and decoding output regions	David Aspinall	2003-03-14
\|
*	Be more polite with handling of invisibility spec	David Aspinall	2003-03-14
\|
*	Comment about desirability for lazy-shot in trace output	David Aspinall	2003-03-14
\|
*	Only decode x-symbols if enabled globally for prover.	David Aspinall	2003-03-14
\|
*	Add requires to reduce compilation warnings.	David Aspinall	2003-03-14
\|
*	Kludge for key-press during loading problem with splash screen.	David Aspinall	2003-03-14
\|
*	Updated.	David Aspinall	2003-03-10
\|
*	Add test case with symbol in subscript	David Aspinall	2003-03-10
\|
*	Update dates	David Aspinall	2003-03-10
\|
*	Updated.	David Aspinall	2003-03-07
\|
*	Set version tag for new release.	David Aspinall	2003-03-07
\|
*	Updated.	David Aspinall	2003-03-07
\|
*	Remove notes about old bugs	David Aspinall	2003-03-07
\|
*	Use Info-default-directory-list for GNU Emacs still	David Aspinall	2003-03-07
\|
*	Fix Non-X frame error on Emacs 21	David Aspinall	2003-03-06
\|
*	Patch from CW to fix sub/supers prob.	David Aspinall	2003-03-06
\|
*	List of stuff to do here	David Aspinall	2003-03-05
\|
*	Updated.	David Aspinall	2003-03-05
\|
*	Set version tag for new release.	David Aspinall	2003-03-05
\|
*	Tweaks to auto-style; remove x-symbol-set-cache-variable because breaks compile	David Aspinall	2003-03-05
\|
*	Add function to parse consts part of syntax output	David Aspinall	2003-03-05
\|
*	clean does distclean for x-symbol	David Aspinall	2003-03-05
\|
*	Make sure selected window never changes	David Aspinall	2003-03-05
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Remove newlines patch for Coq	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Add mmm. Ignore byte compile errors	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Set version tag for new release.	David Aspinall	2003-03-03
\|
*	Fix sticky mode properties for X-Symbol	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	New files.	David Aspinall	2003-03-03
\|
*	Deleted file	David Aspinall	2003-03-03
\|
*	Note about M-x x-symbol-mode	David Aspinall	2003-03-03
\|
*	Add distcompile target	David Aspinall	2003-03-03
\|
*	Improved version from Gerwin Klein/Christoph Wedler; simplified ↵	David Aspinall	2003-03-03
\| \| \| \|	auto-mode-style setting.
*	Fix sticky mode properties for X-Symbol	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Deleted file	David Aspinall	2003-03-03
\|
*	Delete	David Aspinall	2003-03-03
\|
*	Updated.	David Aspinall	2003-03-03
\|
*	Update doc of X-Sym	David Aspinall	2003-03-01
\|
*	Update to 4.5 (pre?) version CW sent	David Aspinall	2003-03-01
\|
*	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2003-03-01
\|\ \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2003-03-01
\| \|
\| *	This commit was manufactured by cvs2git to create branch 'xsym'.	cvs2git	2003-03-01
\| \| \| \| \| \| \| \| \| \|	Cherrypick from master 2003-03-01 11:33:34 UTC David Aspinall <da@inf.ed.ac.uk> 'New files.': x-symbol/README.x-symbol-for-ProofGeneral x-symbol/info/x-symbol.info
* \|	New files.	David Aspinall	2003-03-01
\| \|