isabelle: Changelog

haftmann [Wed, 17 Jun 2009 17:42:36 +0200] rev 31696

skip_proof where appropriate

wenzelm [Wed, 17 Jun 2009 23:22:52 +0200] rev 31695

more robust poly startup, by restricting heap size (otherwise it fails on very large memory); removed Poly/ML 4.x variant;

wenzelm [Wed, 17 Jun 2009 18:43:44 +0200] rev 31694

merged

wenzelm [Wed, 17 Jun 2009 18:02:51 +0200] rev 31693

end_timing: actually display GC percentage, not factor;

wenzelm [Wed, 17 Jun 2009 17:24:34 +0200] rev 31692

merged

paulson [Wed, 17 Jun 2009 17:07:17 +0100] rev 31691

Polishing the English

nipkow [Wed, 17 Jun 2009 15:41:49 +0200] rev 31690

rtrancl lemmas

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;

isabelle