isabelle: Changelog

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);

wenzelm [Tue, 16 Aug 2005 13:42:29 +0200] rev 17058

added Isar/outer_keyword.ML;

wenzelm [Tue, 16 Aug 2005 13:42:26 +0200] rev 17057

OuterKeyword;

wenzelm [Tue, 16 Aug 2005 13:42:23 +0200] rev 17056

updated;

wenzelm [Tue, 16 Aug 2005 13:42:21 +0200] rev 17055

removed -H false;

wenzelm [Tue, 16 Aug 2005 13:42:20 +0200] rev 17054

isatool usedir: option -V and -f; isatool document: option -n and -t;

wenzelm [Tue, 16 Aug 2005 13:42:19 +0200] rev 17053

tuned antiquotations; added tagged commands;

isabelle