isabelle: Changelog

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;

wenzelm [Tue, 16 Aug 2005 13:42:41 +0200] rev 17070

added tags parser;

wenzelm [Tue, 16 Aug 2005 13:42:40 +0200] rev 17069

clarify is_newline vs. is_blank; removed is_indent; added is_comment;

wenzelm [Tue, 16 Aug 2005 13:42:39 +0200] rev 17068

default tags for theory/proof/ML commands; added '%' keyword;

wenzelm [Tue, 16 Aug 2005 13:42:38 +0200] rev 17067

reimplemented theory presentation, with support for tagged command regions; tuned antiquotation output;

wenzelm [Tue, 16 Aug 2005 13:42:37 +0200] rev 17066

back: removed ill-defined '!' option; print_theorems: print facts in proof mode; print_prfs: proper context version -- ProofContext.pretty_proof_of;

wenzelm [Tue, 16 Aug 2005 13:42:36 +0200] rev 17065

replaced sign by thy;

wenzelm [Tue, 16 Aug 2005 13:42:35 +0200] rev 17064

added liberal_name;

isabelle