isabelle: Changelog

wenzelm [Sat, 09 Dec 2006 18:05:52 +0100] rev 21731

added internal_mode;

wenzelm [Sat, 09 Dec 2006 18:05:50 +0100] rev 21730

simplified abbrev: single argument;

wenzelm [Sat, 09 Dec 2006 18:05:49 +0100] rev 21729

TermSyntax.abbrev; ProofContext.set_expand_abbrevs;

wenzelm [Sat, 09 Dec 2006 18:05:48 +0100] rev 21728

added read/pretty_term_abbrev, print_abbrevs; tuned Consts signature; renamed expand_abbrevs to set_expand_abbrevs;

wenzelm [Sat, 09 Dec 2006 18:05:47 +0100] rev 21727

init_context: reset naming;

wenzelm [Sat, 09 Dec 2006 18:05:46 +0100] rev 21726

added 'print_abbrevs';

wenzelm [Sat, 09 Dec 2006 18:05:44 +0100] rev 21725

added print_abbrevs; exit: less verbosity;

wenzelm [Sat, 09 Dec 2006 18:05:43 +0100] rev 21724

added term_abbrev;

wenzelm [Sat, 09 Dec 2006 18:05:42 +0100] rev 21723

renamed reserved to reserved_names; added reserved: Name.context;

wenzelm [Sat, 09 Dec 2006 18:05:41 +0100] rev 21722

tuned Consts signature;

isabelle