| Sat, 13 Jun 2020 14:17:34 +0200 | wenzelm | clarified errors; | changeset | files |
| Thu, 11 Jun 2020 16:13:53 +0100 | paulson | fixed the utterly weird definitions of asym / asymp, and added many asym lemmas | changeset | files |
| Thu, 11 Jun 2020 14:18:34 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Thu, 11 Jun 2020 14:13:04 +0200 | wenzelm | proper rendering of complex codepoints, e.g. \<^url> code: 0x01F310; | changeset | files |