proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	update from Isabelle2009-2;	Makarius Wenzel	2010-06-29
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	updated from pre-Isabelle2005;	Makarius Wenzel	2005-09-22
\|
*	Updated.	David Aspinall	2005-09-21
\|
*	New files.	David Aspinall	2005-09-21
\|
*	obsolete;	Makarius Wenzel	2005-08-18
\|
*	Revert to previous version. Explain existence of other versions	David Aspinall	2002-06-30
\|
*	Fix to prevent {* being considered a command, flag edits	David Aspinall	2002-06-24
\|
*	Add types_code and friends	David Aspinall	2002-06-05
\|
*	tuned comment;	Makarius Wenzel	2002-01-26
\|
*	back to official Isabelle99-2 (later Isabelle dists will provide	Makarius Wenzel	2001-08-31
\| \| \| \|	their own copy of this file);
*	new commands (proof terms, code generator);	Makarius Wenzel	2001-08-31
\|
*	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
\|