author | huffman |
Wed, 14 Jan 2009 17:11:29 -0800 | |
changeset 29530 | 9905b660612b |
parent 27997 | 64957539cdf4 |
permissions | -rw-r--r-- |
25854 | 1 |
Isabelle support for jEdit -- http://www.jedit.org/ |
2 |
=================================================== |
|
24888 | 3 |
|
25854 | 4 |
This provides both a basic editing "mode" (with some degree of syntax |
27975 | 5 |
highlighting), and a minimal "plugin" with some support for |
6 |
interaction with the Isabelle process. |
|
25854 | 7 |
|
8 |
||
9 |
Mode installation |
|
10 |
----------------- |
|
24888 | 11 |
|
12 |
1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.xml to |
|
13 |
[JEDIT_SETTINGS]/modes/ |
|
14 |
||
15 |
2) Add the following entry [JEDIT_SETTINGS]/modes/catalog |
|
16 |
||
24889 | 17 |
<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/> |
24888 | 18 |
|
19 |
Example catalog file: |
|
20 |
||
24889 | 21 |
<?xml version="1.0"?> |
22 |
<!DOCTYPE MODES SYSTEM "catalog.dtd"> |
|
23 |
<MODES> |
|
24 |
<MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/> |
|
25 |
</MODES> |
|
24888 | 26 |
|
24889 | 27 |
|
25854 | 28 |
Plugin installation |
29 |
------------------- |
|
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 | 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 | 40 |
|
41 |
3) Enable the plugin using the manager of jEdit; invoke the "isabelle" |
|
42 |
editor action. The resulting window may be docked, e.g. at bottom. |
|
43 |
||
44 |
Note that the Errorlist plugin provides some useful options like "Show |
|
45 |
error icons in the gutter", for immediate feedback of Isabelle |
|
46 |
warnings and errors in the source text. The Errorlist window may be |
|
47 |
docked likewise. |
|
48 |
||
49 |
||
24888 | 50 |
$Id$ |