| changeset 69280 | e1d01b351724 |
| parent 69248 | 9f21381600e3 |
| child 69290 | fb77612d11eb |
--- a/src/Tools/Haskell/YXML.hs Sat Nov 10 17:07:17 2018 +0100 +++ b/src/Tools/Haskell/YXML.hs Sat Nov 10 17:12:09 2018 +0100 @@ -6,6 +6,8 @@ Efficient text representation of XML trees. Suitable for direct inlining into plain text. + +See also "$ISABELLE_HOME/src/Pure/PIDE/yxml.ML". -} module Isabelle.YXML (charX, charY, strX, strY, detect, output_markup,