Sat, 05 Jan 2019 17:24:33 +0100 | wenzelm | isabelle update -u control_cartouches; | changeset | files |
Sat, 05 Jan 2019 17:00:43 +0100 | wenzelm | latex macro for \<^const>; | changeset | files |
Sat, 05 Jan 2019 15:15:21 +0100 | wenzelm | mark for isabelle update -u control_cartouches; | changeset | files |