| changeset 34407 | aad6834ba380 |
| parent 34406 | f81cd75ae331 |
| child 34408 | ad7b6c4813c8 |
| 34406:f81cd75ae331 | 34407:aad6834ba380 |
|---|---|
1 /* |
|
2 * XML/CSS rendering -- user agent |
|
3 * |
|
4 * @author Fabian Immler, TU Munich |
|
5 * @author Johannes Hölzl, TU Munich |
|
6 */ |
|
7 |
|
1 package isabelle.jedit |
8 package isabelle.jedit |
2 |
9 |
3 import isabelle.utils.EventSource |
10 import isabelle.utils.EventSource |
4 |
11 |
5 import isabelle.proofdocument.Text |
12 import isabelle.proofdocument.Text |