isabelle: Changelog

wenzelm [Mon, 05 May 2014 17:14:46 +0200] rev 56868

clarified print operations for "terms" and "theorems";

wenzelm [Mon, 05 May 2014 16:30:19 +0200] rev 56867

more print operations; preserve declaration order;

wenzelm [Mon, 05 May 2014 16:29:09 +0200] rev 56866

tuned GUI;

wenzelm [Mon, 05 May 2014 15:37:25 +0200] rev 56865

more decisive change of focus; more explicit Print_Item with description;

wenzelm [Mon, 05 May 2014 15:17:07 +0200] rev 56864

support print operations as asynchronous query;

wenzelm [Mon, 05 May 2014 11:53:07 +0200] rev 56863

allow empty original, e.g. path "";

wenzelm [Mon, 05 May 2014 10:25:09 +0200] rev 56862

more robust process kill -- postpone interrupts on current thread;

wenzelm [Mon, 05 May 2014 09:41:23 +0200] rev 56861

tuned signature;

wenzelm [Mon, 05 May 2014 09:24:34 +0200] rev 56860

tuned signature;

blanchet [Mon, 05 May 2014 10:03:43 +0200] rev 56859

tuned comment

isabelle