| Wed, 12 Sep 2012 00:20:37 +0200 | blanchet | adapted example | changeset | files |
| Wed, 12 Sep 2012 00:20:37 +0200 | blanchet | added attributes to theorems | changeset | files |
| Tue, 11 Sep 2012 23:27:19 +0200 | wenzelm | merged | changeset | files |
| Tue, 11 Sep 2012 22:31:43 +0200 | blanchet | support for sort constraints in new (co)data commands | changeset | files |
| Tue, 11 Sep 2012 22:13:22 +0200 | blanchet | provide a programmatic interface for FP sugar | changeset | files |
| Tue, 11 Sep 2012 23:26:03 +0200 | wenzelm | some GUI support for color options; | changeset | files |
| Tue, 11 Sep 2012 22:59:25 +0200 | wenzelm | more precise sections; | changeset | files |
| Tue, 11 Sep 2012 22:54:12 +0200 | wenzelm | provide color values via options; | changeset | files |