isabelle: Changelog

wenzelm [Tue, 14 May 2013 21:56:19 +0200] rev 51993

simplified modules and exceptions;

wenzelm [Tue, 14 May 2013 21:40:25 +0200] rev 51992

more elementary pgiptype;

wenzelm [Tue, 14 May 2013 21:02:49 +0200] rev 51991

prefer Markup.parse/print operations -- slight change of exception behaviour; removed obsolete PGIP material;

wenzelm [Tue, 14 May 2013 20:46:09 +0200] rev 51990

more uniform Markup.print_real;

wenzelm [Tue, 14 May 2013 20:32:10 +0200] rev 51989

removed dead code;

wenzelm [Tue, 14 May 2013 19:48:31 +0200] rev 51988

more uniform Markup.parse_real;

wenzelm [Tue, 14 May 2013 19:30:21 +0200] rev 51987

tuned signature;

wenzelm [Tue, 14 May 2013 16:54:47 +0200] rev 51986

more robust load_timings: ignore JVM errors such as java.lang.OutOfMemoryError;

wenzelm [Tue, 14 May 2013 16:45:09 +0200] rev 51985

tuned;

wenzelm [Tue, 14 May 2013 16:04:26 +0200] rev 51984

misc tuning and simplification;

isabelle