equal
deleted
inserted
replaced
1 Isabelle support for jEdit -- http://www.jedit.org/ |
|
2 =================================================== |
|
3 |
|
4 This provides both a basic editing "mode" (with some degree of syntax |
|
5 highlighting), and a minimal "plugin" with some support for |
|
6 interaction with the Isabelle process. |
|
7 |
|
8 |
|
9 Mode installation |
|
10 ----------------- |
|
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 |
|
17 <MODE NAME="isabelle" FILE="isabelle.xml" FILE_NAME_GLOB="*.thy"/> |
|
18 |
|
19 Example catalog file: |
|
20 |
|
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> |
|
26 |
|
27 |
|
28 Plugin installation |
|
29 ------------------- |
|
30 |
|
31 1) Install copies of the Isabelle jars: |
|
32 |
|
33 [ISABELLE_HOME]/lib/classes/Pure.jar -> [JEDIT_SETTINGS]/jars/isabelle-Pure.jar |
|
34 [ISABELLE_HOME]/lib/jedit/isabelle.jar -> [JEDIT_SETTINGS]/jars/isabelle.jar |
|
35 |
|
36 2) Install scala-library.jar from the regular Scala distribution, |
|
37 cf. the http://www.scala-lang.org/downloads/index.html as |
|
38 |
|
39 [JEDIT_SETTINGS]/jars/isabelle-scala-library.jar |
|
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 |
|
50 $Id$ |
|