proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	New files.	David Aspinall	2002-08-08
\|
*	proof-splash-display-image -> proof-get-image; generalise for xpm images.	David Aspinall	2002-08-08
\|
*	Added lclam proof site entry	David Aspinall	2002-08-08
\|
*	Fix docs	David Aspinall	2002-08-07
\|
*	Doc proof-shell-strip-crs-from-output; update magic	David Aspinall	2002-08-07
\|
*	Updated.	David Aspinall	2002-08-07
\|
*	Rename proof-dont-switch-windows -> proof-three-window-mode	David Aspinall	2002-08-07
\|
*	Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> ↵	David Aspinall	2002-08-07
\| \| \| \|	proof-three-window-mode.
*	Rename proof-dont-switch-windows -> proof-three-window-mode	David Aspinall	2002-08-07
\|
*	Added proof-shell-strip-crs-from-output	David Aspinall	2002-08-07
\|
*	Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ↵	David Aspinall	2002-08-07
\| \| \| \|	cygwin32.
*	Set version tag for new release.	David Aspinall	2002-08-07
\|
*	Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.	David Aspinall	2002-08-07
\|
*	Add proof-shell-strip-crs-from-output	David Aspinall	2002-08-07
\|
*	Reorganized menus; add options save function; fix capitalization of names	David Aspinall	2002-08-07
\|
*	Add require, fix menu capitalization.	David Aspinall	2002-08-07
\|
*	Menu capitalization; support email addr.	David Aspinall	2002-08-07
\|
*	New files.	David Aspinall	2002-08-07
\|
*	Updated.	David Aspinall	2002-08-07
\|
*	Comments	David Aspinall	2002-08-07
\|
*	Autoload fix	David Aspinall	2002-08-07
\|
*	Update from PC, sent 5.8.02	David Aspinall	2002-08-07
\|
*	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-07-29
\|\ \| \| \| \|	branch.
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-07-29
\| \|
* \|	Finished the changing of names of config. variables (coq-user...).	Pierre Courtieu	2002-07-27
\| \|
* \|	Changed a bit more the doc and the CHANGES file, to be	Pierre Courtieu	2002-07-26
\| \| \| \| \| \| \| \|	consitent. Concerns the coq-user... variables.
* \|	Changed once again the backtrack mechanism, it corresponds to what we	Pierre Courtieu	2002-07-26
\| \| \| \| \| \| \| \|	agreed for some time ago. I am ok for a 3.4 now.
* \|	The doc for coq-user-... variables is a bit better, their name has	Pierre Courtieu	2002-07-26
\| \| \| \| \| \| \| \|	changed to be more explicit.
* \|	change to support version 4.4 of x-symbol	Christophe Raffalli	2002-07-25
\| \|
* \|	change to support version 4.4 of x-symbol	Christophe Raffalli	2002-07-25
\| \|
* \|	Updated.	David Aspinall	2002-07-19
\| \|
* \|	Known issues	David Aspinall	2002-07-19
\| \|
* \|	Support missing/faked isatool	David Aspinall	2002-07-19
\| \|
* \|	Merge changes and comments sent by Christoph Wedler	David Aspinall	2002-07-19
\| \|
* \|	Updated.	David Aspinall	2002-07-19
\| \|
* \|	Set version tag for new release.	David Aspinall	2002-07-19
\| \|
* \|	Replace	David Aspinall	2002-07-19
\| \|
* \|	Set version tag for new release.	David Aspinall	2002-07-19
\| \|
* \|	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \| \| \| \| \|	proof-script-comment-{start,end}-regexp.
* \|	Spacing	David Aspinall	2002-07-19
\| \|
* \|	Bug in load-isar-keywords	David Aspinall	2002-07-19
\| \|
* \|	Updated.	David Aspinall	2002-07-19
\| \|
* \|	Mention fav improvs	David Aspinall	2002-07-19
\| \|
* \|	Updated	David Aspinall	2002-07-19
\| \|
* \|	Reduce proof-shell-quite-timeout	David Aspinall	2002-07-19
\| \|
* \|	Ignore todo.defunct	David Aspinall	2002-07-19
\| \|
* \|	New files.	David Aspinall	2002-07-19
\| \|
* \|	Add todo to tags	David Aspinall	2002-07-19
\| \|
* \|	Move imagep compat code to splash	David Aspinall	2002-07-19
\| \|
* \|	Make favourites mechanism more robust; add delete command.	David Aspinall	2002-07-19
\| \|