Wed, 12 Sep 2012 00:55:11 +0200 blanchet added optional qualifiers for constructors and destructors, similarly to the old package
Wed, 12 Sep 2012 00:20:37 +0200 blanchet adapted example
Wed, 12 Sep 2012 00:20:37 +0200 blanchet added attributes to theorems
Tue, 11 Sep 2012 23:27:19 +0200 wenzelm merged
Tue, 11 Sep 2012 22:31:43 +0200 blanchet support for sort constraints in new (co)data commands
Tue, 11 Sep 2012 22:13:22 +0200 blanchet provide a programmatic interface for FP sugar
Tue, 11 Sep 2012 23:26:03 +0200 wenzelm some GUI support for color options;
Tue, 11 Sep 2012 22:59:25 +0200 wenzelm more precise sections;
Tue, 11 Sep 2012 22:54:12 +0200 wenzelm provide color values via options;
Tue, 11 Sep 2012 20:22:03 +0200 wenzelm prefer tuning parameters as public methods (again) -- to allow overriding in applications;
Tue, 11 Sep 2012 19:49:17 +0200 wenzelm updated keywords;
Tue, 11 Sep 2012 19:45:12 +0200 wenzelm merged
Tue, 11 Sep 2012 19:43:06 +0200 wenzelm tuned;
Tue, 11 Sep 2012 19:35:21 +0200 wenzelm more informative tooltip: default value;
Tue, 11 Sep 2012 19:19:39 +0200 wenzelm more options;
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 +10000 tip