| changeset 43520 | cec9b95fa35d |
| parent 38869 | 7634e3f10576 |
| child 43745 | 562e35bc351e |
| 43519:024bd7f5ee0f | 43520:cec9b95fa35d |
|---|---|
4 Simple XML tree values. |
4 Simple XML tree values. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 import java.lang.System |
|
9 import java.util.WeakHashMap |
10 import java.util.WeakHashMap |
10 import java.lang.ref.WeakReference |
11 import java.lang.ref.WeakReference |
11 import javax.xml.parsers.DocumentBuilderFactory |
12 import javax.xml.parsers.DocumentBuilderFactory |
12 |
13 |
13 import scala.actors.Actor._ |
14 import scala.actors.Actor._ |