lib/jedit/README
author nipkow
Wed Aug 26 19:54:19 2009 +0200 (2009-08-26)
changeset 32416 4ea7648b6ae2
parent 27997 64957539cdf4
permissions -rw-r--r--
merged
wenzelm@25854
     1
Isabelle support for jEdit -- http://www.jedit.org/
wenzelm@25854
     2
===================================================
wenzelm@24888
     3
wenzelm@25854
     4
This provides both a basic editing "mode" (with some degree of syntax
wenzelm@27975
     5
highlighting), and a minimal "plugin" with some support for
wenzelm@27975
     6
interaction with the Isabelle process.
wenzelm@25854
     7
wenzelm@25854
     8
wenzelm@25854
     9
Mode installation
wenzelm@25854
    10
-----------------
wenzelm@24888
    11
wenzelm@24888
    12
1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to
wenzelm@24888
    13
[JEDIT_SETTINGS]/modes/
wenzelm@24888
    14
wenzelm@24888
    15
2) Add the following entry [JEDIT_SETTINGS]/modes/catalog
wenzelm@24888
    16
wenzelm@24889
    17
  <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
wenzelm@24888
    18
wenzelm@24888
    19
Example catalog file:
wenzelm@24888
    20
wenzelm@24889
    21
  <?xml version="1.0"?>
wenzelm@24889
    22
  <!DOCTYPE MODES SYSTEM "catalog.dtd">
wenzelm@24889
    23
  <MODES>
wenzelm@24889
    24
    <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
wenzelm@24889
    25
  </MODES>
wenzelm@24888
    26
wenzelm@24889
    27
wenzelm@25854
    28
Plugin installation
wenzelm@25854
    29
-------------------
wenzelm@25854
    30
wenzelm@27997
    31
1) Install copies of the Isabelle jars:
wenzelm@27997
    32
wenzelm@27997
    33
  [ISABELLE_HOME]/lib/classes/Pure.jar   ->  [JEDIT_SETTINGS]/jars/isabelle-Pure.jar
wenzelm@27997
    34
  [ISABELLE_HOME]/lib/jedit/isabelle.jar ->  [JEDIT_SETTINGS]/jars/isabelle.jar
wenzelm@25854
    35
wenzelm@27997
    36
2) Install scala-library.jar from the regular Scala distribution,
wenzelm@27997
    37
cf. the http://www.scala-lang.org/downloads/index.html as
wenzelm@27997
    38
wenzelm@27997
    39
  [JEDIT_SETTINGS]/jars/isabelle-scala-library.jar
wenzelm@25854
    40
wenzelm@25854
    41
3) Enable the plugin using the manager of jEdit; invoke the "isabelle"
wenzelm@25854
    42
editor action.  The resulting window may be docked, e.g. at bottom.
wenzelm@25854
    43
wenzelm@25854
    44
Note that the Errorlist plugin provides some useful options like "Show
wenzelm@25854
    45
error icons in the gutter", for immediate feedback of Isabelle
wenzelm@25854
    46
warnings and errors in the source text.  The Errorlist window may be
wenzelm@25854
    47
docked likewise.
wenzelm@25854
    48
wenzelm@25854
    49
wenzelm@24888
    50
$Id$