| Mon, 31 Oct 2016 14:21:23 +0100 | wenzelm | more explicit pull; | changeset | files |
| Sun, 30 Oct 2016 13:15:14 +0100 | kuncar | types to sets: initial commit | changeset | files |
| Sat, 29 Oct 2016 00:39:33 +0200 | blanchet | avoid code generator warnings when deleting equations in BNF commands (e.g., datatype) in locales with assumptions and similar | changeset | files |