| Thu, 31 Dec 2015 12:43:09 +0100 | wenzelm | clarified directory structure; | changeset | files |
| 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 |