lib/jedit/README
author wenzelm
Sun, 07 Oct 2007 13:41:31 +0200
changeset 24888 68ff03c069a0
child 24889 701e0e3ee972
permissions -rw-r--r--
Basic Isabelle mode for jEdit -- http://www.jedit.org/

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>

:mode=text:wrap=hard:maxLineLen=72:
$Id$