| Fri, 18 Oct 2024 14:20:09 +0200 | wenzelm | more inner-syntax markup; | changeset | files |
| Fri, 18 Oct 2024 11:44:05 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 18 Oct 2024 11:32:10 +0200 | wenzelm | more ambitious rendering: highlight active area for mouse hovering without modifier; | changeset | files |