proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	isar-undo-fail-regexp: only isar-keywords-control, not isar-keywords-theory-end;	Makarius Wenzel	2007-10-18
\|
*	isar-output-font-lock-keywords-1: hilite markup uses proof-warning-face;	Makarius Wenzel	2007-09-07
\|
*	isar-improper-regexp: include "prems";	Makarius Wenzel	2007-06-14
\| \| \| \|	Cvs: ----------------------------------------------------------------------
*	isar-font-lock-local: tuned symbol regexp;	Makarius Wenzel	2007-06-14
\|
*	undo: removed confusing comment;	Makarius Wenzel	2007-05-08
\|
*	Comment about undo; use	David Aspinall	2007-01-10
\|
*	isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in ↵	Makarius Wenzel	2006-12-07
\| \| \| \|	post-Isabelle2005 the latter is empty anyway);
*	isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which ↵	Makarius Wenzel	2006-11-04
\| \| \| \| \| \| \|	usually appears locally as plain theory command; isar-keywords-proper: simplified font-lock; added isar-match-nesting -- distinguishes font-lock for local vs. global begin/end;
*	isar-keywords-indent-enclose: include "begin" keyword;	Makarius Wenzel	2006-10-11
\| \| \| \|	removed obsolete kill/undo-kill-regexp;
*	added regexps for begin/end and theory start;	Makarius Wenzel	2006-10-11
\|
*	isar-goals-font-lock-keywords: added abbreviations;	Makarius Wenzel	2006-08-16
\|
*	isar-goals-font-lock-keywords: "abbreviations";	Makarius Wenzel	2006-02-10
\|
*	old specials are recogized again;	Makarius Wenzel	2005-09-28
\|
*	removed 8bit special chars for isar;	Makarius Wenzel	2005-09-14
\|
*	tuned isar-goals-font-lock-keywords;	Makarius Wenzel	2005-09-13
\|
*	tuned isar-keywords-theory-enclose;	Makarius Wenzel	2005-09-06
\|
*	special regexps: include PGASCII version;	Makarius Wenzel	2005-09-01
\|
*	added isar-font-lock-local: \<^loc> (needs x-symbol setup for x-invisible-face);	Makarius Wenzel	2005-08-26
\|
*	made ASCII backquote (`) alternative string delimiter;	Makarius Wenzel	2005-08-26
\|
*	isar-goals-font-lock-keywords: calculation;	Makarius Wenzel	2005-08-18
\|
*	tuned isar-goals-font-lock-keywords;	Makarius Wenzel	2005-06-26
\|
*	more general goal pattern;	Makarius Wenzel	2005-06-24
\|
*	tuned;	Makarius Wenzel	2005-05-31
\|
*	Change syntax table for \ from word constituent to escape character.	David Aspinall	2004-08-10
\| \| \| \| \|	Add output-font-lock-keywords for tvars and vars without ?'s (probably redundant without low-level output mode change: pending).
*	Fix index number back for isar-undo-remove-regexp, change isar-remove instead.	David Aspinall	2004-06-17
\|
*	Fix grouping for isar-generic-expression.	David Aspinall	2004-06-17
\|
*	Continue the grouping bug fix.	David Aspinall	2004-06-16
\|
*	Fix another bug introduced by Gerwin's shy grouping "optimisations"...	David Aspinall	2004-06-16
\|
*	fix typo in isar-long-id-stuff	Gerwin Klein	2004-04-16
\|
*	fix typo in isar-long-id-stuff	Gerwin Klein	2004-04-16
\|
*	Set imenu-syntax-alist. Seems to solve prefix/underscore issue in Speedbar	David Aspinall	2004-04-15
\|
*	Typo in imenu setup (not sure how that got committed)	David Aspinall	2004-04-14
\|
*	Func-menu: fix bug in locale regexp. Add imenu support.	David Aspinall	2004-04-14
\|
*	Fixes for function menu. Remove unnamed entities.	David Aspinall	2004-04-14
\|
*	fixed regexp problem with function menu	Gerwin Klein	2004-04-14
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	allow sub/super scripts in identifiers (\<^isub> and \<^isup>)	Gerwin Klein	2003-10-16
\|
*	Yet another fix from Sebastian Skalberg.	Stefan Berghofer	2003-09-05
\|
*	Corrected fix from Sebastian Skalberg.	Stefan Berghofer	2003-08-29
\|
*	Fix from Sebastian Skalberg <skalberg@in.tum.de>	David Aspinall	2003-08-28
\|
*	Fix SML comment syntax oops	David Aspinall	2003-08-20
\|
*	Use newer undo function ProofGeneral.undo (no output undo).	David Aspinall	2003-08-19
\|
*	Fix from Gerwin to repair grouping	David Aspinall	2003-05-23
\|
*	Version from Gerwin with performance fixes	David Aspinall	2003-05-20
\|
*	Version without match save, and disabling isar-match-antiq.	David Aspinall	2003-05-20
\|
*	Disable fontification of antiquotation because of buggy interaction with ↵	David Aspinall	2003-04-25
\| \| \| \|	font-lock/XEmacs.
*	Save match data in font-locking function for antiquotations (patch from CW).	David Aspinall	2003-04-15
\|
*	Revert to old isar-ids-to-regexp	David Aspinall	2003-02-17
\|
*	Source of parsing problem discovered and explained.	David Aspinall	2002-09-11
\|