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/
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
24888
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     1
Basic Isabelle mode for jEdit -- http://www.jedit.org/
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     2
======================================================
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     3
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     4
INSTALLATION
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     5
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     6
1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     7
[JEDIT_SETTINGS]/modes/
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     8
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     9
2) Add the following entry [JEDIT_SETTINGS]/modes/catalog
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    10
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    11
<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    12
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    13
Example catalog file:
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    14
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    15
<?xml version="1.0"?>
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    16
<!DOCTYPE MODES SYSTEM "catalog.dtd">
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    17
<MODES>
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    18
  <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    19
</MODES>
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    20
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    21
:mode=text:wrap=hard:maxLineLen=72:
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    22
$Id$