isabelle: Changelog

blanchet [Wed, 12 Sep 2012 00:20:37 +0200] rev 49301

adapted example

blanchet [Wed, 12 Sep 2012 00:20:37 +0200] rev 49300

added attributes to theorems

wenzelm [Tue, 11 Sep 2012 23:27:19 +0200] rev 49299

merged

blanchet [Tue, 11 Sep 2012 22:31:43 +0200] rev 49298

support for sort constraints in new (co)data commands

blanchet [Tue, 11 Sep 2012 22:13:22 +0200] rev 49297

provide a programmatic interface for FP sugar

wenzelm [Tue, 11 Sep 2012 23:26:03 +0200] rev 49296

some GUI support for color options;

wenzelm [Tue, 11 Sep 2012 22:59:25 +0200] rev 49295

more precise sections;

wenzelm [Tue, 11 Sep 2012 22:54:12 +0200] rev 49294

provide color values via options;

wenzelm [Tue, 11 Sep 2012 20:22:03 +0200] rev 49293

prefer tuning parameters as public methods (again) -- to allow overriding in applications;

wenzelm [Tue, 11 Sep 2012 19:49:17 +0200] rev 49292

updated keywords;

isabelle