lib/jedit/README
changeset 24888 68ff03c069a0
child 24889 701e0e3ee972
equal deleted inserted replaced
24887:173f23cecbe8 24888:68ff03c069a0
       
     1 Basic Isabelle mode for jEdit -- http://www.jedit.org/
       
     2 ======================================================
       
     3 
       
     4 INSTALLATION
       
     5 
       
     6 1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to
       
     7 [JEDIT_SETTINGS]/modes/
       
     8 
       
     9 2) Add the following entry [JEDIT_SETTINGS]/modes/catalog
       
    10 
       
    11 <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
       
    12 
       
    13 Example catalog file:
       
    14 
       
    15 <?xml version="1.0"?>
       
    16 <!DOCTYPE MODES SYSTEM "catalog.dtd">
       
    17 <MODES>
       
    18   <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
       
    19 </MODES>
       
    20 
       
    21 :mode=text:wrap=hard:maxLineLen=72:
       
    22 $Id$