lib/jedit/README
author huffman
Wed, 14 Jan 2009 17:11:29 -0800
changeset 29530 9905b660612b
parent 27997 64957539cdf4
permissions -rw-r--r--
change to simpler, more extensible continuity simproc define attribute [cont2cont] for continuity rules; new continuity simproc just applies cont2cont rules repeatedly; split theory Product_Cpo from Cprod, so Cfun can import Product_Cpo; add lemma cont2cont_LAM', which is suitable as a cont2cont rule.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
25854
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
     1
Isabelle support for jEdit -- http://www.jedit.org/
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
     2
===================================================
24888
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
     3
25854
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
     4
This provides both a basic editing "mode" (with some degree of syntax
27975
fbec8e89f255 updated to Pure.jar;
wenzelm
parents: 27062
diff changeset
     5
highlighting), and a minimal "plugin" with some support for
fbec8e89f255 updated to Pure.jar;
wenzelm
parents: 27062
diff changeset
     6
interaction with the Isabelle process.
25854
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
     7
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
     8
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
     9
Mode installation
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    10
-----------------
24888
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    11
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    12
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
    13
[JEDIT_SETTINGS]/modes/
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
2) Add the following entry [JEDIT_SETTINGS]/modes/catalog
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    16
24889
wenzelm
parents: 24888
diff changeset
    17
  <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
    18
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    19
Example catalog file:
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    20
24889
wenzelm
parents: 24888
diff changeset
    21
  <?xml version="1.0"?>
wenzelm
parents: 24888
diff changeset
    22
  <!DOCTYPE MODES SYSTEM "catalog.dtd">
wenzelm
parents: 24888
diff changeset
    23
  <MODES>
wenzelm
parents: 24888
diff changeset
    24
    <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/>
wenzelm
parents: 24888
diff changeset
    25
  </MODES>
24888
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    26
24889
wenzelm
parents: 24888
diff changeset
    27
25854
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    28
Plugin installation
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    29
-------------------
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    30
27997
64957539cdf4 explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;
wenzelm
parents: 27975
diff changeset
    31
1) Install copies of the Isabelle jars:
64957539cdf4 explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;
wenzelm
parents: 27975
diff changeset
    32
64957539cdf4 explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;
wenzelm
parents: 27975
diff changeset
    33
  [ISABELLE_HOME]/lib/classes/Pure.jar   ->  [JEDIT_SETTINGS]/jars/isabelle-Pure.jar
64957539cdf4 explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;
wenzelm
parents: 27975
diff changeset
    34
  [ISABELLE_HOME]/lib/jedit/isabelle.jar ->  [JEDIT_SETTINGS]/jars/isabelle.jar
25854
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    35
27997
64957539cdf4 explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;
wenzelm
parents: 27975
diff changeset
    36
2) Install scala-library.jar from the regular Scala distribution,
64957539cdf4 explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;
wenzelm
parents: 27975
diff changeset
    37
cf. the http://www.scala-lang.org/downloads/index.html as
64957539cdf4 explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;
wenzelm
parents: 27975
diff changeset
    38
64957539cdf4 explicitly depend on isabelle-Pure.jar and isabelle-scala-library.jar;
wenzelm
parents: 27975
diff changeset
    39
  [JEDIT_SETTINGS]/jars/isabelle-scala-library.jar
25854
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    40
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    41
3) Enable the plugin using the manager of jEdit; invoke the "isabelle"
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    42
editor action.  The resulting window may be docked, e.g. at bottom.
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    43
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    44
Note that the Errorlist plugin provides some useful options like "Show
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    45
error icons in the gutter", for immediate feedback of Isabelle
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    46
warnings and errors in the source text.  The Errorlist window may be
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    47
docked likewise.
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    48
ab6ce0d5662d added plugin installation;
wenzelm
parents: 24889
diff changeset
    49
24888
68ff03c069a0 Basic Isabelle mode for jEdit -- http://www.jedit.org/
wenzelm
parents:
diff changeset
    50
$Id$