jedit

Configure jEdit

Enable brackets mode: Start isabelle with “isabelle jedit -m brackets”
Change the font size: Utilities → Global Options → jEdit → Text Area → Text font
Change Look&Feel: Utilities → Global Options → jEdit → Appearance

jedit.txt · Last modified: 2014/04/02 14:43 by peter