Thu, 20 Feb 2014 14:36:17 +0100 | wenzelm | tuned imports; | file | diff | annotate |
Thu, 04 Apr 2013 17:33:04 +0200 | wenzelm | separate module Isabelle_Font, to keep this out of the way of generic Isabelle_System operations, notably for non-Isabelle/jEdit applications; | file | diff | annotate |