Tue, 31 Jul 2018 21:21:20 +0200 | wenzelm | tuned signature; | changeset | files |
Tue, 31 Jul 2018 21:11:24 +0200 | wenzelm | clarified ignored span / core range: include formal comments, e.g. relevant for error messages from antiquotations; | changeset | files |
Tue, 31 Jul 2018 21:06:09 +0200 | wenzelm | tuned signature; | changeset | files |