| Sun, 30 Sep 2018 09:00:11 +0200 | nipkow | updated to new list_update precedence | changeset | files |
| Sun, 30 Sep 2018 07:46:38 +0200 | nipkow | avoid confusing precedences | changeset | files |
| Sat, 29 Sep 2018 23:23:43 +0200 | wenzelm | more direct locale goal: avoid renaming of type_parameters; | changeset | files |