Fri, 12 Apr 2019 22:24:57 +0200 | wenzelm | formal URLs; | changeset | files |
Fri, 12 Apr 2019 22:24:07 +0200 | wenzelm | tuned spacing; | changeset | files |
Fri, 12 Apr 2019 22:09:25 +0200 | wenzelm | modernized tags: default scope excludes proof; | changeset | files |