isabelle: Changelog

ballarin [Mon, 16 Oct 2006 10:27:54 +0200] rev 21041

Order and lattice structures no longer based on records.

isatest [Sun, 15 Oct 2006 12:16:20 +0200] rev 21040

add experimental macbroy6 (intel-darwin)

isatest [Sun, 15 Oct 2006 12:03:57 +0200] rev 21039

add experimental at64 poly-4.9.1 test on atbroy101

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;

isabelle