isabelle: Changelog

wenzelm [Wed, 17 Jun 2009 17:07:26 +0200] rev 31689

made SML/NJ happy;

wenzelm [Wed, 17 Jun 2009 17:07:26 +0200] rev 31688

usedir: internal timing option;

wenzelm [Wed, 17 Jun 2009 17:07:26 +0200] rev 31687

more detailed start_timing/end_timing;

wenzelm [Wed, 17 Jun 2009 17:06:07 +0200] rev 31686

more detailed start_timing/end_timing (in timing.ML); removed obsolete check_timer;

wenzelm [Wed, 17 Jun 2009 17:06:07 +0200] rev 31685

removed obsolete time accumulator (better use Toplevel.profiling);

wenzelm [Wed, 17 Jun 2009 15:14:48 +0200] rev 31684

minor tuning according to Isabelle/ML conventions; slightly less combinators;

wenzelm [Wed, 17 Jun 2009 15:00:19 +0200] rev 31683

back to polyml-5.2.1;

haftmann [Wed, 17 Jun 2009 11:00:14 +0200] rev 31682

corrected some issues

haftmann [Wed, 17 Jun 2009 10:34:02 +0200] rev 31681

refined section concerning classes

haftmann [Wed, 17 Jun 2009 10:11:33 +0200] rev 31680

reworked section on type classes

isabelle