isabelle: Changelog

wenzelm [Sun, 16 Sep 2007 14:52:32 +0200] rev 24597

added ml_system_fix_ints;

wenzelm [Sun, 16 Sep 2007 14:52:31 +0200] rev 24596

removed obsolete Selector token; tuned signature; string syntax: proper escape format;

wenzelm [Sun, 16 Sep 2007 14:52:29 +0200] rev 24595

tuned message;

wenzelm [Sun, 16 Sep 2007 14:52:28 +0200] rev 24594

Minimal parsing for SML -- fixing integer numerals.

wenzelm [Sun, 16 Sep 2007 14:52:26 +0200] rev 24593

added some int constraints (ML_Parse.fix_ints not active here);

haftmann [Sat, 15 Sep 2007 19:29:29 +0200] rev 24592

added rudimentary instantiation stub

haftmann [Sat, 15 Sep 2007 19:27:50 +0200] rev 24591

added explicit theorems

haftmann [Sat, 15 Sep 2007 19:27:48 +0200] rev 24590

delayed evaluation

haftmann [Sat, 15 Sep 2007 19:27:44 +0200] rev 24589

clarified class interfaces and internals

haftmann [Sat, 15 Sep 2007 19:27:43 +0200] rev 24588

introduced classes

isabelle