isabelle: Changelog

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;

wenzelm [Thu, 16 May 2013 19:41:41 +0200] rev 52039

tuned signature;

blanchet [Thu, 16 May 2013 21:55:12 +0200] rev 52038

properly handle SPASS constructors w.r.t. partially applied functions

wenzelm [Thu, 16 May 2013 17:39:38 +0200] rev 52037

tuned signature -- depend on context by default;

isabelle