| Mon, 12 Mar 2018 20:52:53 +0100 | Manuel Eberl | Changes to complete distributive lattices due to Viorel Preoteasa | changeset | files |
| Mon, 12 Mar 2018 08:25:35 +0000 | haftmann | eliminiated superfluous class semiring_bits | changeset | files |
| Sun, 11 Mar 2018 21:08:47 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 11 Mar 2018 20:56:42 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 11 Mar 2018 20:47:17 +0100 | wenzelm | update XML cache for slightly modified messages; | changeset | files |
| Sun, 11 Mar 2018 20:31:25 +0100 | wenzelm | more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation); | changeset | files |
| Sun, 11 Mar 2018 15:28:22 +0100 | wenzelm | more options; | changeset | files |