equal
deleted
inserted
replaced
26 |
26 |
27 |
27 |
28 Plugin installation |
28 Plugin installation |
29 ------------------- |
29 ------------------- |
30 |
30 |
31 1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle/isabelle.jar to |
31 1) Copy or symlink [ISABELLE_HOME]/lib/jedit/isabelle.jar to |
32 [JEDIT_SETTINGS]/jars/ |
32 [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 |