![]() The font will be changed in all Isabelle/Eclipse editors and views. Adjust or change the font by selecting Edit…. ![]() It is loaded automatically if not available in your operating system. The font used to display Isabelle theory documents can be adjusted in preferences: Preferences > General > Appearance > Colors and Fonts » Isabelle > Theory Editor Text Font.īy default, the official IsabelleText font is used.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |