| Sat, 03 Feb 2018 20:46:28 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 03 Feb 2018 20:34:26 +0100 | wenzelm | more uniform treatment of formal comments within document source; | changeset | files |
| Sat, 03 Feb 2018 15:34:22 +0100 | wenzelm | just one check of formal comments; | changeset | files |