| Mon, 06 Dec 2010 09:19:10 +0100 | haftmann | replace `type_mapper` by the more adequate `type_lifting` | changeset | files |
| Mon, 06 Dec 2010 14:45:29 +0100 | wenzelm | avoid explicit encoding -- acknowledge UTF-8 as global default and Isabelle/jEdit preference of UTF-8-Isabelle; | changeset | files |
| Sun, 05 Dec 2010 15:23:33 +0100 | wenzelm | IsabelleText font: include Cyrillic, Hebrew, Arabic from DejaVu Sans 2.32; | changeset | files |