proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	preliminary addition of "corollary";	Makarius Wenzel	2001-05-18
\|
*	added "recdef_tc";	Makarius Wenzel	2001-01-03
\|
*	complete set of keywords from IOA image;	Makarius Wenzel	2000-09-18
\|
*	removed "of", "congs";	Makarius Wenzel	2000-09-07
\| \| \| \|	added "hints";
*	added isar-keywords-proof-improper;	Makarius Wenzel	2000-08-16
\| \| \| \|	tuned;
*	new category isar-keywords-proof-heading;	Makarius Wenzel	2000-08-07
\|
*	added "thm_deps", "overloaded";	Makarius Wenzel	2000-07-29
\|
*	removed 'help';	Makarius Wenzel	2000-07-01
\| \| \| \|	added 'print_antiquotations', 'print_commands', 'print_trans_rules';
*	added method_setup;	Makarius Wenzel	2000-06-30
\|
*	isar-keywords-proof-open/close;	Makarius Wenzel	2000-06-08
\|
*	{ } are back;	Makarius Wenzel	2000-06-03
\|
*	Temporarily removed keywords { and } for new parsing mechanism	David Aspinall	2000-06-01
\|
*	isar-keywords-major;	Makarius Wenzel	2000-05-26
\|
*	added "done";	Makarius Wenzel	2000-05-24
\|
*	replaced {{ }} by { };	Makarius Wenzel	2000-05-22
\|
*	removed "simpset" minor keyword;	Makarius Wenzel	2000-04-25
\|
*	added 'hide';	Makarius Wenzel	2000-04-17
\|
*	'welcome' made diagnostic;	Makarius Wenzel	2000-04-05
\|
*	eliminated 'as' keyword;	Makarius Wenzel	2000-04-05
\|
*	added 'print_claset', 'print_simpset';	Makarius Wenzel	2000-04-04
\|
*	added 'ProofGeneral.undo';	Makarius Wenzel	2000-04-03
\| \| \| \|	fixed 'cd' classification;
*	removed 'variables';	Makarius Wenzel	2000-03-27
\| \| \| \|	added 'ultimately';
*	removed 'kill_proof';	Makarius Wenzel	2000-03-23
\| \| \| \|	added 'variables';
*	added 'moreover';	Makarius Wenzel	2000-03-23
\|
*	removed "thence";	Makarius Wenzel	2000-03-19
\|
*	added 'case', 'print_cases';	Makarius Wenzel	2000-03-09
\|
*	removed then_apply;	Makarius Wenzel	2000-02-14
\| \| \| \|	added apply_end;
*	added "judgment";	Makarius Wenzel	2000-02-11
\|
*	added 'oops';	Makarius Wenzel	2000-02-09
\|
*	added prefer, defer;	Makarius Wenzel	2000-01-28
\|
*	added "where";	Makarius Wenzel	2000-01-06
\|
*	(try_)context_thy_only;	Makarius Wenzel	1999-10-27
\|
*	added kill_thy, touch_child_thys;	Makarius Wenzel	1999-10-26
\| \| \| \|	internal ProofGeneral commands;
*	added ML_command;	Makarius Wenzel	1999-10-20
\|
*	renamed verbatim/verb to text_raw/txt_raw;	Makarius Wenzel	1999-10-14
\|
*	replaced "clear_undo" to "clear_undos";	Makarius Wenzel	1999-10-07
\| \| \| \| \|	replaced "title" by "header"; added "verbatim", "verb";
*	isar-keywords-proof-asm-goal;	Makarius Wenzel	1999-10-01
\|
*	added thms_containing, ML_setup;	Makarius Wenzel	1999-09-26
\|
*	print_context;	Makarius Wenzel	1999-08-23
\|
*	disable_pr, enable_pr;	Makarius Wenzel	1999-08-16
\|
*	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
\|