| Sat, 13 Aug 2016 07:58:14 +0200 | nipkow | added [simp] lemmas | changeset | files |
| Fri, 12 Aug 2016 22:51:45 +0200 | wenzelm | more robust HTML rendering of hidden control symbols: Vacuous font bypasses minimal font-size restrictions of common browsers, transparent colour imitates hidden visibility while copy-paste still works; | changeset | files |
| Fri, 12 Aug 2016 20:58:20 +0200 | wenzelm | merged | changeset | files |