1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/lib/jedit/README	Sun Oct 07 13:41:31 2007 +0200
     1.3 @@ -0,0 +1,22 @@
     1.4 +Basic Isabelle mode for jEdit -- http://www.jedit.org/
     1.5 +======================================================
     1.6 +
     1.7 +INSTALLATION
     1.8 +
     1.9 +1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to
    1.10 +[JEDIT_SETTINGS]/modes/
    1.11 +
    1.12 +2) Add the following entry [JEDIT_SETTINGS]/modes/catalog
    1.13 +
    1.14 +<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
    1.15 +
    1.16 +Example catalog file:
    1.17 +
    1.18 +<?xml version="1.0"?>
    1.19 +<!DOCTYPE MODES SYSTEM "catalog.dtd">
    1.20 +<MODES>
    1.21 +  <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
    1.22 +</MODES>
    1.23 +
    1.24 +:mode=text:wrap=hard:maxLineLen=72:
    1.25 +$Id$