changeset 69280 | e1d01b351724 |
parent 69240 | 16ca270090b6 |
child 69290 | fb77612d11eb |
69279:e6997512ef6c | 69280:e1d01b351724 |
---|---|
3 {- Title: Tools/Haskell/XML/Decode.hs |
3 {- Title: Tools/Haskell/XML/Decode.hs |
4 Author: Makarius |
4 Author: Makarius |
5 LICENSE: BSD 3-clause (Isabelle) |
5 LICENSE: BSD 3-clause (Isabelle) |
6 |
6 |
7 XML as data representation language. |
7 XML as data representation language. |
8 |
|
9 See also "$ISABELLE_HOME/src/Pure/PIDE/xml.ML". |
|
8 -} |
10 -} |
9 |
11 |
10 module Isabelle.XML.Decode ( |
12 module Isabelle.XML.Decode ( |
11 A, T, V, |
13 A, T, V, |
12 |
14 |