| Fri, 23 Nov 2018 22:05:14 +0100 | wenzelm | added Isabelle tool wrapper; | file | diff | annotate |
| Fri, 23 Nov 2018 21:50:50 +0100 | wenzelm | support for build_fonts; | file | diff | annotate |
| Fri, 23 Nov 2018 14:50:32 +0100 | wenzelm | clarified; | file | diff | annotate |
| Fri, 23 Nov 2018 14:30:44 +0100 | wenzelm | tuned comments -- based on history; | file | diff | annotate |
| Thu, 22 Nov 2018 23:11:12 +0100 | wenzelm | support for construction of Isabelle fonts; | file | diff | annotate |