Tue, 16 Jan 2018 09:08:06 +0100 | wenzelm | tuned signature; | changeset | files |
Mon, 15 Jan 2018 23:03:01 +0100 | wenzelm | clarified markup; | changeset | files |
Mon, 15 Jan 2018 22:46:04 +0100 | wenzelm | more uniform support for formal comments in outer syntax, notably \<^cancel> and \<^latex>; | changeset | files |