changeset 34871 | e596a0b71f3c |
parent 34867 | d0057d9777ce |
child 36015 | 6111de7c916a |
34870:e10547372c41 | 34871:e596a0b71f3c |
---|---|
4 * @author Makarius |
4 * @author Makarius |
5 */ |
5 */ |
6 |
6 |
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 |
|
10 import isabelle.proofdocument.{Command, HTML_Panel, Session} |
|
11 |
9 |
12 import scala.actors.Actor._ |
10 import scala.actors.Actor._ |
13 |
11 |
14 import javax.swing.JPanel |
12 import javax.swing.JPanel |
15 import java.awt.{BorderLayout, Dimension} |
13 import java.awt.{BorderLayout, Dimension} |