changeset 34871 | e596a0b71f3c |
parent 34867 | d0057d9777ce |
child 36015 | 6111de7c916a |
34870:e10547372c41 | 34871:e596a0b71f3c |
---|---|
4 * @author Fabian Immler, TU Munich |
4 * @author Fabian Immler, TU Munich |
5 */ |
5 */ |
6 |
6 |
7 package isabelle.jedit |
7 package isabelle.jedit |
8 |
8 |
9 import isabelle.proofdocument.Command |
|
10 |
9 |
11 import java.io.File |
10 import java.io.File |
12 |
11 |
13 import gatchan.jedit.hyperlinks.{Hyperlink, HyperlinkSource, AbstractHyperlink} |
12 import gatchan.jedit.hyperlinks.{Hyperlink, HyperlinkSource, AbstractHyperlink} |
14 |
13 |