Thu, 31 Dec 2015 12:37:16 +0100 | wenzelm | updated isabelle_fonts; | changeset | files |
Thu, 31 Dec 2015 12:20:10 +0100 | wenzelm | proper diamond from lasy10; | changeset | files |
Thu, 31 Dec 2015 00:07:42 +0100 | wenzelm | modernized defs; | changeset | files |
Wed, 30 Dec 2015 22:09:44 +0100 | wenzelm | more symbols; | changeset | files |
Wed, 30 Dec 2015 22:05:00 +0100 | wenzelm | more symbols; | changeset | files |
Wed, 30 Dec 2015 21:57:52 +0100 | wenzelm | isabelle update_cartouches -c -t; | changeset | files |