isabelle: Changelog

haftmann [Mon, 08 Jun 2009 09:22:47 +0200] rev 31486

constant "chars" of all characters

haftmann [Mon, 08 Jun 2009 08:38:53 +0200] rev 31485

added infrastructure for definitorial construction of generators for datatypes

haftmann [Mon, 08 Jun 2009 08:38:52 +0200] rev 31484

constant "chars" of all characters

haftmann [Mon, 08 Jun 2009 08:38:51 +0200] rev 31483

added generator for char and trivial generator for String.literal

haftmann [Mon, 08 Jun 2009 08:38:50 +0200] rev 31482

using constant "chars"

haftmann [Mon, 08 Jun 2009 08:38:49 +0200] rev 31481

method linarith

wenzelm [Sat, 06 Jun 2009 21:47:02 +0200] rev 31480

reraise exceptions to preserve position information;

wenzelm [Sat, 06 Jun 2009 21:46:36 +0200] rev 31479

ML_Compiler.exn_message;

wenzelm [Sat, 06 Jun 2009 21:11:23 +0200] rev 31478

ML_Compiler.exn_message;

wenzelm [Sat, 06 Jun 2009 21:11:23 +0200] rev 31477

added exn_message (formerly in toplevel.ML); eval/code: proper Isar runtime support; tuned signature;

isabelle