|
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
|
|
|
5 |
highlighting), and a proper "plugin" with some support for interaction
|
|
|
6 |
with the Isabelle process.
|
|
|
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 |
|
|
|
31 |
1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle/isabelle.jar to
|
|
|
32 |
[JEDIT_SETTINGS]/jars/
|
|
|
33 |
|
|
|
34 |
2) Install scala-library.jar likewise (taken from the regular Scala
|
|
|
35 |
distribution, cf. the http://www.scala-lang.org/downloads/index.html)
|
|
|
36 |
|
|
|
37 |
3) Enable the plugin using the manager of jEdit; invoke the "isabelle"
|
|
|
38 |
editor action. The resulting window may be docked, e.g. at bottom.
|
|
|
39 |
|
|
|
40 |
Note that the Errorlist plugin provides some useful options like "Show
|
|
|
41 |
error icons in the gutter", for immediate feedback of Isabelle
|
|
|
42 |
warnings and errors in the source text. The Errorlist window may be
|
|
|
43 |
docked likewise.
|
|
|
44 |
|
|
|
45 |
|
|
24888
|
46 |
$Id$
|