changeset 69280 | e1d01b351724 |
parent 69236 | a75aab6d785b |
child 69290 | fb77612d11eb |
--- a/src/Tools/Haskell/XML.hs Sat Nov 10 17:07:17 2018 +0100 +++ b/src/Tools/Haskell/XML.hs Sat Nov 10 17:12:09 2018 +0100 @@ -5,6 +5,8 @@ LICENSE: BSD 3-clause (Isabelle) Untyped XML trees and representation of ML values. + +See also "$ISABELLE_HOME/src/Pure/PIDE/xml.ML". -} module Isabelle.XML (Attributes, Body, Tree(..), wrap_elem, unwrap_elem, content_of)