isabelle: Changelog

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;

wenzelm [Tue, 16 Aug 2005 13:42:34 +0200] rev 17063

tuned Symbol.spaces;

wenzelm [Tue, 16 Aug 2005 13:42:33 +0200] rev 17062

tuned Buffer.add;

wenzelm [Tue, 16 Aug 2005 13:42:32 +0200] rev 17061

tuned unsuffix/unprefix;

isabelle