isabelle: Changelog

wenzelm [Wed, 02 Jan 2013 18:03:38 +0100] rev 50687

moved files;

wenzelm [Wed, 02 Jan 2013 17:58:53 +0100] rev 50686

moved files;

wenzelm [Wed, 02 Jan 2013 16:48:22 +0100] rev 50685

ML runtime statistics: read properties from build log;

wenzelm [Wed, 02 Jan 2013 15:08:38 +0100] rev 50684

support File.read_gzip as well, in accordance to File.write_gzip; tuned signature;

wenzelm [Wed, 02 Jan 2013 13:50:59 +0100] rev 50683

inline ML statistics into build log;

wenzelm [Wed, 02 Jan 2013 13:20:10 +0100] rev 50682

removed outdated comment;

wenzelm [Wed, 02 Jan 2013 13:06:54 +0100] rev 50681

enable Z3 for full test (cf. 6f48853f08d5);

smolkas [Wed, 02 Jan 2013 20:53:01 +0100] rev 50680

removed old, unused code

smolkas [Wed, 02 Jan 2013 20:52:39 +0100] rev 50679

removed whitespace

smolkas [Wed, 02 Jan 2013 20:52:32 +0100] rev 50678

removed duplicate code

isabelle