proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	updated;	Makarius Wenzel	1999-08-03
\|
*	pretty_setmargin;	Makarius Wenzel	1999-07-28
\|
*	updated;	Makarius Wenzel	1999-07-27
\|
*	removed 'break';	Makarius Wenzel	1999-07-22
\|
*	added def;	Makarius Wenzel	1999-07-09
\| \| \| \|	removed qed_with;
*	added concl, thence;	Makarius Wenzel	1999-07-08
\|
*	removed prev, up, top;	Makarius Wenzel	1999-07-06
\|
*	added "sorry" proof;	Makarius Wenzel	1999-07-02
\|
*	"txt" keyword;	Makarius Wenzel	1999-07-02
\|
*	isar-keywords-proof-asm;	Makarius Wenzel	1999-07-01
\|
*	updated;	Makarius Wenzel	1999-06-28
\|
*	updated;	Makarius Wenzel	1999-06-04
\|
*	renamed undos to undos_proof;	Makarius Wenzel	1999-05-27
\|
*	added isar-keywords-qed-block;	Makarius Wenzel	1999-05-26
\|
*	this version actually generated by Isabelle;	Makarius Wenzel	1999-05-24
\|
*	Isabelle/Isar keyword classification (used to be in isar-syntax.el);	Makarius Wenzel	1999-05-23