Tue, 20 Oct 2015 23:53:40 +0200 | wenzelm | isabelle update_cartouches -t; | changeset | files |
Tue, 20 Oct 2015 23:03:46 +0200 | wenzelm | added isabelle update_cartouches option -t; | changeset | files |
Tue, 20 Oct 2015 20:45:33 +0200 | wenzelm | another antiquotation short form: undecorated cartouche as alias for @{text}; | changeset | files |