| Wed, 11 Sep 2013 17:17:58 +0200 | blanchet | more (co)data docs | changeset | files |
| Wed, 11 Sep 2013 16:55:01 +0200 | blanchet | more (co)data docs | changeset | files |
| Wed, 11 Sep 2013 16:16:45 +0200 | wenzelm | merged | changeset | files |
| Wed, 11 Sep 2013 15:54:53 +0200 | wenzelm | prefer explicit type constraint (again, see also Type.appl_error); | changeset | files |
| Wed, 11 Sep 2013 15:42:05 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 11 Sep 2013 15:30:12 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 11 Sep 2013 15:25:51 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 11 Sep 2013 14:23:06 +0200 | wenzelm | do not expose internal flags to attribute name space; | changeset | files |
| Wed, 11 Sep 2013 15:49:39 +0200 | blanchet | more (co)data docs | changeset | files |
| Wed, 11 Sep 2013 15:22:43 +0200 | blanchet | more (co)datatype documentation | changeset | files |
| Wed, 11 Sep 2013 14:07:24 +0200 | blanchet | tuning | changeset | files |
| Wed, 11 Sep 2013 14:07:24 +0200 | blanchet | disable some checks for huge background theories | changeset | files |