wenzelm [Tue, 16 Aug 2005 13:42:48 +0200] rev 17077
added String.isSuffix;
wenzelm [Tue, 16 Aug 2005 13:42:47 +0200] rev 17076
state: body context;
added theory_context, proof_to_theory_context;
added is_proof, level;
turned excursion_result into present_excursion;
wenzelm [Tue, 16 Aug 2005 13:42:46 +0200] rev 17075
P.tags;
wenzelm [Tue, 16 Aug 2005 13:42:45 +0200] rev 17074
use_dir: removed hidden, added doc_versions;
wenzelm [Tue, 16 Aug 2005 13:42:44 +0200] rev 17073
back: removed ill-defined '!' option;
wenzelm [Tue, 16 Aug 2005 13:42:43 +0200] rev 17072
added transfer;
adapt local syntax to potential changes of theory syntax;
added pretty_proof(_of);
wenzelm [Tue, 16 Aug 2005 13:42:42 +0200] rev 17071
moved structure Keyword to OuterKeyword (Isar/outer_keyword.ML);
support for tagged commands;
tuned theory presentation interface;