isabelle: Changelog

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;

wenzelm [Tue, 16 Aug 2005 13:42:31 +0200] rev 17060

type proof: theory_ref instead of theory (make proof contexts independent entities); added transfer_proof;

wenzelm [Tue, 16 Aug 2005 13:42:30 +0200] rev 17059

Isar command keyword classification (from Isar/outer_syntax.ML);

isabelle