proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	tuned faces;	Makarius Wenzel	1999-11-22
\|
*	replaced remove_thy by kill_thy (more robust);	Makarius Wenzel	1999-10-26
\|
*	isar-keywords-proof-asm-goal;	Makarius Wenzel	1999-10-01
\|
*	replaced isar-output-font-lock-terms by isar-output-font-lock-keywords-1;	Makarius Wenzel	1999-09-30
\|
*	added isar-verbatim;	Makarius Wenzel	1999-09-26
\|
*	Isabelle term / type hiliting;	Makarius Wenzel	1999-09-24
\|
*	tuned;	Makarius Wenzel	1999-08-29
\|
*	some output syntax;	Makarius Wenzel	1999-08-24
\|
*	font-lock-function-face -> font-lock-function-name-face	David Aspinall	1999-08-23
\|
*	deactivated isar-font-lock-terms (currently useless);	Makarius Wenzel	1999-08-18
\|
*	fixed Id;	Makarius Wenzel	1999-07-28
\|
*	isar-name-regexp: group result;	Makarius Wenzel	1999-07-27
\| \| \| \| \| \|	isar-init-syntax-table now in isar-syntax.el; variations on undo now in isar-syntax.el; added isar-remove;
*	fixed some regexps via proof-anchor-regexp;	Makarius Wenzel	1999-07-02
\|
*	isar-keywords-proof-asm;	Makarius Wenzel	1999-07-01
\|
*	removed junk;	Makarius Wenzel	1999-05-27
\|
*	tuned keywords;	Makarius Wenzel	1999-05-26
\|
*	improved classification of keywords (see also isar-keywords.el);	Makarius Wenzel	1999-05-23
\| \| \| \|	improved regexps and font-lock;
*	tuned -- still quite unsatisfactory;	Makarius Wenzel	1999-05-21
\|
*	deactivated '.' and '..' keywords (tmp);	Makarius Wenzel	1999-04-27
\|
*	added "thus", "hence";	Makarius Wenzel	1999-04-23
\| \| \| \|	tuned "next";
*	initial version of 'isar proof assistant (Isabelle/Isar);	Makarius Wenzel	1999-04-16