lib/jedit/README
author wenzelm
Sun, 07 Oct 2007 13:48:06 +0200
changeset 24889 701e0e3ee972
parent 24888 68ff03c069a0
child 25854 ab6ce0d5662d
permissions -rw-r--r--
tuned;
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
24889
wenzelm
parents: 24888
diff changeset
    11
  <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
24888
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
24889
wenzelm
parents: 24888
diff changeset
    15
  <?xml version="1.0"?>
wenzelm
parents: 24888
diff changeset
    16
  <!DOCTYPE MODES SYSTEM "catalog.dtd">
wenzelm
parents: 24888
diff changeset
    17
  <MODES>
wenzelm
parents: 24888
diff changeset
    18
    <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
wenzelm
parents: 24888
diff changeset
    19
  </MODES>
24888
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    20
24889
wenzelm
parents: 24888
diff changeset
    21
24888
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    22
$Id$