isabelle: Changelog

wenzelm [Mon, 29 Feb 2016 16:24:20 +0100] rev 62470

proper exit as in Scala version (in contrast to a45ba78abcc1);

wenzelm [Mon, 29 Feb 2016 16:12:47 +0100] rev 62469

save heap more directly;

wenzelm [Mon, 29 Feb 2016 15:39:17 +0100] rev 62468

clarified modules;

wenzelm [Mon, 29 Feb 2016 15:23:13 +0100] rev 62467

clarified ML heap operations;

immler [Mon, 29 Feb 2016 16:35:15 +0100] rev 62466

generalized

paulson <lp15@cam.ac.uk> [Mon, 29 Feb 2016 15:14:45 +0000] rev 62465

Merge

paulson <lp15@cam.ac.uk> [Mon, 29 Feb 2016 15:13:11 +0000] rev 62464

Merge

paulson <lp15@cam.ac.uk> [Mon, 29 Feb 2016 11:42:15 +0000] rev 62463

the integral is 0 when otherwise it would be undefined (also for contour integrals)

wenzelm [Mon, 29 Feb 2016 15:06:53 +0100] rev 62462

removed junk;

wenzelm [Sun, 28 Feb 2016 21:58:06 +0100] rev 62461

merged

isabelle