proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Added proof-shell-pre-interrupt-hook	David Aspinall	2000-02-09
\|
*	tuned indentation code;	Makarius Wenzel	2000-02-09
\|
*	added isar-keywords-qed-global, isar-global-save-command-regexp;	Makarius Wenzel	2000-02-09
\| \| \| \| \|	added isar-keywords-indent-reset; tuned font-lock;
*	added 'oops';	Makarius Wenzel	2000-02-09
\|
*	fixed proof-shell-error-regexp;	Makarius Wenzel	2000-02-07
\|
*	added prefer, defer;	Makarius Wenzel	2000-01-28
\|
*	Set version tag for new release.	David Aspinall	2000-01-26
\|
*	Notes about fix for problem with Emacs 20.5 reported by Pierre	David Aspinall	2000-01-25
\|
*	Temporary fix for problem with Emacs 20.5 reported by Pierre	David Aspinall	2000-01-25
\|
*	Set version tag for new release.	David Aspinall	2000-01-20
\|
*	Fix to validator links	David Aspinall	2000-01-18
\|
*	in url, change ~dcs7ttg to CARG, the permanent form	Paul Callaghan	2000-01-18
\|
*	Set version tag for new release.	David Aspinall	2000-01-12
\|
*	Attempted fix for thy-mode X-Symbol problems. Still buggy.	David Aspinall	2000-01-12
\|
*	Comments	David Aspinall	2000-01-12
\|
*	Note about X-Symbol problems.	David Aspinall	2000-01-12
\|
*	Set version tag for new release.	David Aspinall	2000-01-06
\|
*	Mention fix to proof-shell-eager-annotation-start-length	David Aspinall	2000-01-06
\|
*	Fixes for short output duplication problem: set ↵	David Aspinall	2000-01-06
\| \| \| \|	proof-shell-eager-annotation-start-length.
*	added "where";	Makarius Wenzel	2000-01-06
\|
*	fixed isar-keywords-local-goal-regexp;	Makarius Wenzel	1999-12-30
\|
*	Set version tag for new release.	David Aspinall	1999-12-16
\|
*	Typos.	David Aspinall	1999-12-16
\|
*	Added slides, news about ETAPS demo.	David Aspinall	1999-12-14
\|
*	Minor fixes	David Aspinall	1999-12-14
\|
*	Typo.	David Aspinall	1999-12-14
\|
*	Set version tag for new release.	David Aspinall	1999-12-14
\|
*	New chapter on Hints and Tips. Credit to Pierre.	David Aspinall	1999-12-14
\|
*	Pierre: Added little a chapter to the documentation: Using File	Pierre Courtieu	1999-12-14
\| \| \| \| \|	Variable, just after Isabelle ProofGeneral. Surely not the good place, should be in some section called "tricks".
*	Set version tag for new release.	David Aspinall	1999-12-13
\|
*	Added two new bugs to be fixed.	David Aspinall	1999-12-13
\|
*	Added two new bugs.	David Aspinall	1999-12-13
\|
*	Set version tag for new release.	David Aspinall	1999-12-03
\|
*	Clarified further problem with Isabelle and ML files with embedded semis.	David Aspinall	1999-12-03
\|
*	Fix link to SRPM.	David Aspinall	1999-12-03
\|
*	Moved notice about license to download.phtml. Made plea for registration ↵	David Aspinall	1999-12-01
\| \| \| \|	even more pitiful.
*	Update link for Isamode to be on zermelo (careful)	David Aspinall	1999-12-01
\|
*	Set version tag for new release.	David Aspinall	1999-12-01
\|
*	Minor.	David Aspinall	1999-12-01
\|
*	Updated from version sent to lists.	David Aspinall	1999-12-01
\|
*	Shorten note about imenu.	David Aspinall	1999-12-01
\|
*	Fix HTML errors.	David Aspinall	1999-12-01
\|
*	Add attribute that news was written by me.	David Aspinall	1999-12-01
\|
*	Fix link to Dilip's rather uninformative page	David Aspinall	1999-12-01
\|
*	Hedge on tag for validator image, it's really a lie and should have a ↵	David Aspinall	1999-12-01
\| \| \| \|	question mark, not a tick.
*	Fix broken link	David Aspinall	1999-12-01
\|
*	Removed unused descitem style.	David Aspinall	1999-12-01
\|
*	Fix HTML errors by adding name arg to dt() function.	David Aspinall	1999-12-01
\|
*	Fix HTML errors.	David Aspinall	1999-12-01
\|
*	Mention using imenu instead of func-menu.	David Aspinall	1999-12-01
\|