Thu, 03 Jan 2019 21:15:52 +0100 | wenzelm | isabelle update -u mixfix_cartouches; | changeset | files |
Thu, 03 Jan 2019 21:06:39 +0100 | wenzelm | support for "isabelle update -u mixfix_cartouches"; | changeset | files |
Thu, 03 Jan 2019 21:04:16 +0100 | wenzelm | NEWS; | changeset | files |