# HG changeset patch
# User wenzelm
# Date 1260134568 -3600
# Node ID d3b200894e21c9dd61dbe23e166b79baad9eb880
# Parent  fc56cfc6906e800543776b86e3f44b5e151daf67
added auxiliary constructors;

diff -r fc56cfc6906e -r d3b200894e21 src/Pure/General/xml.scala
--- a/src/Pure/General/xml.scala	Sun Dec 06 21:56:23 2009 +0100
+++ b/src/Pure/General/xml.scala	Sun Dec 06 22:22:48 2009 +0100
@@ -26,6 +26,9 @@
   case class Elem(name: String, attributes: Attributes, body: List[Tree]) extends Tree
   case class Text(content: String) extends Tree
 
+  def elem(name: String, body: List[Tree]) = Elem(name, Nil, body)
+  def elem(name: String) = Elem(name, Nil, Nil)
+
 
   /* string representation */