src/Pure/General/xml.scala
changeset 27931 b533a9de87a7
child 27941 b4656b671cce
equal deleted inserted replaced
27930:2b44df907cc2 27931:b533a9de87a7
       
     1 /*  Title:      Pure/General/xml.scala
       
     2     ID:         $Id$
       
     3     Author:     Makarius
       
     4 
       
     5 Minimalistic XML tree values.
       
     6 */
       
     7 
       
     8 package isabelle
       
     9 
       
    10 object XML {
       
    11   type Attributes = List[(String, String)]
       
    12 
       
    13   abstract class Tree
       
    14   case class Elem(name: String, attributes: Attributes, body: List[Tree]) extends Tree
       
    15   case class Text(content: String) extends Tree
       
    16 }