| Sun, 24 Mar 2019 20:31:53 +0100 | wenzelm | more accurate HTML rendering; | changeset | files |
| Sun, 24 Mar 2019 19:17:42 +0100 | wenzelm | clarified markup; | changeset | files |
| Sun, 24 Mar 2019 18:38:42 +0100 | wenzelm | clarified rendering, notably of \<^latex>CARTOUCHE in outer syntax; | changeset | files |
| Sun, 24 Mar 2019 18:30:59 +0100 | wenzelm | tuned; | changeset | files |