| Mon, 26 Oct 2009 09:03:57 +0100 | haftmann | merged | changeset | files |
| Fri, 23 Oct 2009 13:23:18 +0200 | himmelma | distinguished session for multivariate analysis | changeset | files |
| Mon, 26 Oct 2009 08:54:20 +0100 | haftmann | adjusted to changes in corresponding ML code | changeset | files |
| Sun, 25 Oct 2009 21:35:46 +0100 | wenzelm | eliminated obsolete tags for types/consts -- now handled via name space, in strongly typed fashion; | changeset | files |
| Sun, 25 Oct 2009 20:54:21 +0100 | wenzelm | maintain theory name via name space, not tags; | changeset | files |
| Sun, 25 Oct 2009 19:21:34 +0100 | wenzelm | name space groups are identified by serial, not serial_string; | changeset | files |