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: by peter