isabelle: Changelog

wenzelm [Fri, 17 May 2013 13:46:18 +0200] rev 52049

tuned signature;

wenzelm [Fri, 17 May 2013 11:35:52 +0200] rev 52048

tuned signature -- emphasize thread creation here;

wenzelm [Fri, 17 May 2013 11:05:59 +0200] rev 52047

repair after bc01725d7918;

nipkow [Fri, 17 May 2013 08:19:52 +0200] rev 52046

replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time

nipkow [Fri, 17 May 2013 02:57:00 +0200] rev 52045

tuned

wenzelm [Thu, 16 May 2013 22:02:01 +0200] rev 52044

merged

wenzelm [Thu, 16 May 2013 21:48:01 +0200] rev 52043

more system options as context-sensitive config options;

wenzelm [Thu, 16 May 2013 21:09:58 +0200] rev 52042

Thy_Output.modes as proper option;

wenzelm [Thu, 16 May 2013 20:50:01 +0200] rev 52041

some system options as context-sensitive config options;

wenzelm [Thu, 16 May 2013 20:33:01 +0200] rev 52040

system options as context-sensitive configuration options within the attribute name space;

isabelle