* Introduction

This directory contains description files (.xml) for executing Scala commands
from the Console plugin for jEdit.

More information about jEdit is available from:

   http://www.jedit.org/

* Requirements

You first need to install the Console plugin for jEdit by following the
navigation path:

   menu "Plugins" -> menu item "Plugin Manager..." -> tab "Install").

More information about the Console plugin is available from:

   http://plugins.jedit.org/plugins/?Console

* Installation

Copy the directory "console" to the following location:

   ~/.jedit/

From that point on, entries for the Scala commands should be accessible from the
submenu "Console" in the "Plugins" menu.

