isabelle: Changelog

kleing [Sun, 15 Oct 2006 11:47:13 +0200] rev 21038

generate devel snapshot even if experimental builds fail. experimental builds are those whose log files fit the pattern isatest-*e.log

wenzelm [Sat, 14 Oct 2006 23:25:56 +0200] rev 21037

added peek;

wenzelm [Sat, 14 Oct 2006 23:25:55 +0200] rev 21036

added theorem(_i);

wenzelm [Sat, 14 Oct 2006 23:25:54 +0200] rev 21035

export map_elem; added read_context_statement_i (internal locale name);

wenzelm [Sat, 14 Oct 2006 23:25:53 +0200] rev 21034

added assert;

wenzelm [Sat, 14 Oct 2006 23:25:51 +0200] rev 21033

theorem: added local_theory version;

wenzelm [Sat, 14 Oct 2006 23:25:51 +0200] rev 21032

Attrib.pretty_attrib;

wenzelm [Sat, 14 Oct 2006 23:25:50 +0200] rev 21031

added pretty_attribs (from attrib.ML);

wenzelm [Sat, 14 Oct 2006 23:25:48 +0200] rev 21030

moved pretty_attribs to attrib.ML;

wenzelm [Sat, 14 Oct 2006 23:25:46 +0200] rev 21029

locale begin/end;

isabelle