isabelle: Changelog

nipkow [Fri, 15 Mar 2013 18:49:40 +0100] rev 51433

tuned

wenzelm [Fri, 15 Mar 2013 13:46:37 +0100] rev 51432

simplified time_CPU and time_GC; derive relative speed from time (considered as step function);

wenzelm [Fri, 15 Mar 2013 10:49:28 +0100] rev 51431

updated to scala-2.10.1;

traytel [Fri, 15 Mar 2013 10:08:23 +0100] rev 51430

extended stream library (sdrop_while)

wenzelm [Thu, 14 Mar 2013 14:25:55 +0100] rev 51429

tuned signature;

wenzelm [Thu, 14 Mar 2013 14:14:58 +0100] rev 51428

more robust Par_Exn.make, especially relevant for SML/NJ trying to use Par_Exn.release_all;

wenzelm [Thu, 14 Mar 2013 13:57:44 +0100] rev 51427

proper use of "member", without embarking on delicate questions about SML equality types;

wenzelm [Thu, 14 Mar 2013 13:52:22 +0100] rev 51426

made SML/NJ happy;

nipkow [Thu, 14 Mar 2013 10:51:28 +0100] rev 51425

tuned

wenzelm [Wed, 13 Mar 2013 22:46:28 +0100] rev 51424

merged

isabelle