| Thu, 11 Dec 2008 22:38:00 +0100 | wenzelm | incorporated isabelle-fonts side-branch (forced merge); | file | diff | annotate |
| Fri, 22 Aug 2008 18:31:02 +0200 | wenzelm | added README with original licenses; | file | diff | annotate |
| Fri, 15 Aug 2008 16:08:08 +0200 | wenzelm | added README; | file | diff | annotate |
| Tue, 11 Mar 1997 14:44:25 +0100 | wenzelm | Note on fonts and remote X11; | file | diff | annotate |