proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-02-23
\|\\| \| \| \| \|	branch.
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-02-23
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-02-23
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2002-02-23
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-02-23
\|\\| \| \| \| \|	branch.
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-02-23
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-02-23
\|\\| \| \| \| \|	branch.
\| *	Version 4.5 (beta?) sent by CW, as a package distrib.	David Aspinall	2002-02-23
\| \|
* \|	This commit was generated by cvs2git to track changes on a CVS vendor	David Aspinall	2002-02-23
\|\\| \| \| \| \|	branch.
\| *	X-Symbol version 4.45 beta	David Aspinall	2002-02-23
\| \|
* \|	Add check for Emacs21.	David Aspinall	2002-02-23
\| \|
* \|	Bug fix in proof-goto-command-end. Decode x-syms in ↵	David Aspinall	2002-02-23
\| \| \| \| \| \| \| \|	pg-insert-output-as-comment.
* \|	Simplify enabling tests to just check window-system. Fix ↵	David Aspinall	2002-02-23
\| \| \| \| \| \| \| \|	proof-x-symbol-decode-region to return new END value after decoding.
* \|	Updates to font-lock handling in proof-fontify-region, ↵	David Aspinall	2002-02-23
\| \| \| \| \| \| \| \|	proof-font-lock-clear-font-lock-vars. Fix final return value in fontify region.
* \|	Update X-Sym status	David Aspinall	2002-02-23
\| \|
* \|	Remove latest-src-rpm link	David Aspinall	2002-02-14
\| \|
* \|	Updated.	David Aspinall	2002-02-14
\| \|
* \|	Set version tag for new release.	David Aspinall	2002-02-14
\| \|
* \|	option -g GEOMETRY;	Makarius Wenzel	2002-02-12
\| \|
* \|	observe isar-undo-ignore-regexp in isar-count-undos and isar-find-and-forget;	Makarius Wenzel	2002-02-12
\| \|
* \|	added isar-undo-ignore-regexp;	Makarius Wenzel	2002-02-12
\| \|
* \|	more robust proof-shell-interrupt-regexp and proof-shell-error-regexp;	Makarius Wenzel	2002-02-08
\| \|
* \|	Updated.	David Aspinall	2002-01-31
\| \|
* \|	Fix more broken front page links	David Aspinall	2002-01-31
\| \|
* \|	Update for recent releases.	David Aspinall	2002-01-31
\| \|
* \|	Updated.	David Aspinall	2002-01-31
\| \|
* \|	Simplify fix for repeated comments (commentre includes whitespace).	David Aspinall	2002-01-31
\| \|
* \|	Updated.	David Aspinall	2002-01-31
\| \|
* \|	Set version tag for new release.	David Aspinall	2002-01-31
\| \|
* \|	Tweak comment	David Aspinall	2002-01-31
\| \|
* \|	Fix problem noticed with Isar and repeated comments.	David Aspinall	2002-01-31
\| \|
* \|	New files.	David Aspinall	2002-01-31
\| \|
* \|	tuned comment;	Makarius Wenzel	2002-01-26
\| \|
* \|	full-proofs setting;	Makarius Wenzel	2002-01-21
\| \|
* \|	Isabelle2002 instead of Isabelle2001;	Makarius Wenzel	2002-01-21
\| \|
* \|	* empty log message *	Christophe Raffalli	2002-01-17
\| \|
* \|	Updated.	David Aspinall	2002-01-16
\| \|
* \|	Set version tag for new release.	David Aspinall	2002-01-16
\| \|
* \|	Whitespace	David Aspinall	2002-01-16
\| \|
* \|	Comments	David Aspinall	2002-01-16
\| \|
* \|	Also bury trace buffer	David Aspinall	2002-01-16
\| \|
* \|	Whitespace	David Aspinall	2002-01-16
\| \|
* \|	Only create trace buffer if liable to be used. Remove experimental ↵	David Aspinall	2002-01-16
\| \| \| \| \| \| \| \|	spill-output style tracing code.
* \|	Set proof-shell-trace-output-regexp in proof-pre-shell-start-hook	David Aspinall	2002-01-16
\| \|
* \|	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16
\| \|
* \|	Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexp	David Aspinall	2002-01-16
\| \|
* \|	FSF Emacs -> GNU Emacs	David Aspinall	2002-01-16
\| \|
* \|	Document the tracing buffer; FSF Emacs -> GNU Emacs	David Aspinall	2002-01-16
\| \|
* \|	Also put trace buffer in x sym mode	David Aspinall	2002-01-15
\| \|
* \|	Updated.	David Aspinall	2002-01-15
\| \|