equal
deleted
inserted
replaced
1 Isabelle support for jEdit -- http://www.jedit.org/ |
1 Isabelle support for jEdit -- http://www.jedit.org/ |
2 =================================================== |
2 =================================================== |
3 |
3 |
4 This provides both a basic editing "mode" (with some degree of syntax |
4 This provides both a basic editing "mode" (with some degree of syntax |
5 highlighting), and a proper "plugin" with some support for interaction |
5 highlighting), and a minimal "plugin" with some support for |
6 with the Isabelle process. |
6 interaction with the Isabelle process. |
7 |
7 |
8 |
8 |
9 Mode installation |
9 Mode installation |
10 ----------------- |
10 ----------------- |
11 |
11 |
26 |
26 |
27 |
27 |
28 Plugin installation |
28 Plugin installation |
29 ------------------- |
29 ------------------- |
30 |
30 |
31 1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.jar to |
31 1) Copy or symlink [ISABELLE_HOME]/lib/classes/Pure.jar and |
32 [JEDIT_SETTINGS]/jars/ |
32 [ISABELLE_HOME]/lib/jedit/isabelle.jar to [JEDIT_SETTINGS]/jars/ |
33 |
33 |
34 2) Install scala-library.jar likewise (taken from the regular Scala |
34 2) Install scala-library.jar likewise (taken from the regular Scala |
35 distribution, cf. the http://www.scala-lang.org/downloads/index.html) |
35 distribution, cf. the http://www.scala-lang.org/downloads/index.html) |
36 |
36 |
37 3) Enable the plugin using the manager of jEdit; invoke the "isabelle" |
37 3) Enable the plugin using the manager of jEdit; invoke the "isabelle" |