changeset 36015 | 6111de7c916a |
parent 34871 | e596a0b71f3c |
child 36760 | b82a698ef6c9 |
36014:c51a077680e4 | 36015:6111de7c916a |
---|---|
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 |
|
10 import isabelle._ |
|
9 |
11 |
10 import java.io.File |
12 import java.io.File |
11 |
13 |
12 import gatchan.jedit.hyperlinks.{Hyperlink, HyperlinkSource, AbstractHyperlink} |
14 import gatchan.jedit.hyperlinks.{Hyperlink, HyperlinkSource, AbstractHyperlink} |
13 |
15 |