Basic Isabelle mode for jEdit -- http://www.jedit.org/
======================================================

INSTALLATION

1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to
[JEDIT_SETTINGS]/modes/

2) Add the following entry [JEDIT_SETTINGS]/modes/catalog

  <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>

Example catalog file:

  <?xml version="1.0"?>
  <!DOCTYPE MODES SYSTEM "catalog.dtd">
  <MODES>
    <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
  </MODES>


$Id: README,v 1.2 2007/10/07 11:48:06 wenzelm Exp $
