page1
internal
protocol
Scala
jEdit
JVM
Main-
Buffer
Pure.jar
+ SD
plugins
Isabelle-jEdit.jar
SD.jar (test)
Sidekick
Scalacons.
Hyperlink
...
(isac.jar)