isabelle: Changelog

haftmann [Thu, 25 Oct 2007 13:52:01 +0200] rev 25187

more computation with rationals

haftmann [Thu, 25 Oct 2007 13:52:00 +0200] rev 25186

localized further

haftmann [Thu, 25 Oct 2007 13:51:58 +0200] rev 25185

continued

haftmann [Thu, 25 Oct 2007 10:24:32 +0200] rev 25184

tuned

wenzelm [Wed, 24 Oct 2007 21:42:17 +0200] rev 25183

THIS_IS_ISABELLE_MAKEBIN;

wenzelm [Wed, 24 Oct 2007 21:33:37 +0200] rev 25182

updated;

wenzelm [Wed, 24 Oct 2007 21:12:44 +0200] rev 25181

README for polyml-5.1 binary distribution;

wenzelm [Wed, 24 Oct 2007 20:38:27 +0200] rev 25180

avoid very slow metis invocation (saves 1min on 1.60 GHz machine);

wenzelm [Wed, 24 Oct 2007 20:17:50 +0200] rev 25179

separate RecordPackage.timing flag;

wenzelm [Wed, 24 Oct 2007 20:17:48 +0200] rev 25178

tuned;

isabelle