changeset 55618 | 995162143ef4 |
parent 52766 | 36c3c051b355 |
child 56385 | 76acce58aeab |
55617:2c585bb9560c | 55618:995162143ef4 |
---|---|
6 |
6 |
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 |
9 |
10 import isabelle._ |
10 import isabelle._ |
11 |
|
12 import java.lang.System |
|
13 |
11 |
14 import scala.actors.Actor._ |
12 import scala.actors.Actor._ |
15 import scala.swing.{TextArea, ScrollPane} |
13 import scala.swing.{TextArea, ScrollPane} |
16 |
14 |
17 import org.gjt.sp.jedit.View |
15 import org.gjt.sp.jedit.View |