isabelle: Changelog

wenzelm [Thu, 10 Nov 2016 22:06:36 +0100] rev 64483

build_polyml in Scala;

wenzelm [Thu, 10 Nov 2016 21:54:58 +0100] rev 64482

clarified File.move: target directory like File.copy;

wenzelm [Thu, 10 Nov 2016 12:14:03 +0100] rev 64481

more logging, to see better when files written;

wenzelm [Thu, 10 Nov 2016 10:41:41 +0100] rev 64480

proper cleanup;

wenzelm [Thu, 10 Nov 2016 10:35:34 +0100] rev 64479

uniform order for options and args;

wenzelm [Thu, 10 Nov 2016 10:20:11 +0100] rev 64478

more robust jedit_auto_resolve: avoid losing events deps_changed() / delay_load.invoke();

wenzelm [Thu, 10 Nov 2016 09:43:15 +0100] rev 64477

tuned comment;

wenzelm [Wed, 09 Nov 2016 22:23:36 +0100] rev 64476

proper option for "build", not "build_history" (cf. 5ca4ac099e94);

wenzelm [Mon, 07 Nov 2016 21:52:41 +0100] rev 64475

tuned;

wenzelm [Mon, 07 Nov 2016 21:40:43 +0100] rev 64474

simplified main proof;

isabelle