changeset 77570 | 98b4a9902582 |
parent 75393 | 87ebf5a50283 |
77569:a8fa53c086a4 | 77570:98b4a9902582 |
---|---|
1 /* Title: Pure/System/isabelle_system.scala |
1 /* Title: Pure/System/isabelle_fonts.scala |
2 Author: Makarius |
2 Author: Makarius |
3 |
3 |
4 Fonts from the Isabelle system environment, notably the "Isabelle DejaVu" |
4 Fonts from the Isabelle system environment, notably the "Isabelle DejaVu" |
5 collection. |
5 collection. |
6 */ |
6 */ |