User Tools
jedit
This is an old revision of the document!
Configure jEdit
- Enable brackets mode: Start isabelle with “isabelle jedit -m brackets”
- Change the font size: Utilities → Global Options → jEdit → Text Area → Text font
jedit.1396442347.txt.gz · Last modified: 2014/04/02 14:39 by peter
