Useful jEdit Settings

• Get [http://www.jedit.org/ jEdit]

• Get the [http://plugins.jedit.org/plugins/?Console ConsolePlugin], and my [http://dream.inf.ed.ac.uk/projects/isaplanner/resources/jedit/ShellBuffer.tgz ShellBuffer] Plugin. You can install then by placing the jar files in ~/.jedit/jars/.

• Get my adapted ML mode (syntax highlighting and indentation): [http://dream.inf.ed.ac.uk/projects/isaplanner/resources/jedit/ml-lucas.xml My jEdit ML Mode], and put it in .jedit/modes/. This will overwrite the more basic ML mode. You might also want to make jEdit automatically associate this ML mode with ".ML" files by adding the following in to your .jedit/modes/catalog file: <MODE NAME="ml" FILE="ml-lucas.xml" FILE_NAME_GLOB="*.{ML|ml|sml}" /> (inside the <MODES> tag)

• Put the following into .jedit/properties

buffer.indentSize=2
buffer.tabSize=2
buffer.noTabs=true
insert-tab-indent.shortcut=
prev-fold.shortcut=
next-fold.shortcut=
indent-lines.shortcut=TAB
shell-buffer-menu.mitem-new.shortcut=A+s n
shell-buffer-menu.mitem-restart.shortcut=A+s r
shell-buffer-menu.mitem-stop.shortcut=A+s c
shell-buffer-menu.mitem-process-shellbuf-to-eof.shortcut=A+ENTER
shell-buffer-menu.mitem-next-command.shortcut=A+DOWN
shell-buffer-menu.mitem-prev-command.shortcut=A+UP
vfs.browser.colors.9.glob=*.{ml,sml}
options.shell-buffer.shell-command=bash

• Download other plugin's you like from http://plugins.jedit.org/

Using the ShellBuffer

The above define shortcuts for using the ShellBuffer, which is what I like to run isabelle in. The "A" in the shortcuts stands for "Alt", thus "Alt-s" then "n" starts a new shell buffer window and Control-Enter sends everything you've typed in the shell buffer after the last output (usually after the "# ", which is the shell buffer prompt) to the underlying process.

jEdit is quite easy to customise and I'll probably add more things to the mode, and perhaps even make a special ML version...