1.1 --- a/isac-java/src/java/isac/gui/mawen/scalaterm/Util.scala	Wed May 11 13:27:45 2016 +0200
     1.2 +++ b/isac-java/src/java/isac/gui/mawen/scalaterm/Util.scala	Thu May 12 09:08:11 2016 +0200
     1.3 @@ -93,12 +93,4 @@
     1.4        XML.Elem(("ISA", Nil), List(XML.Text("aaa + bbb::real"))),
     1.5        XML.Elem(("TERM", Nil), List(Codec[Term].encode(t)))))
     1.6  
     1.7 -//TODO: for assert in TestPIDE.java
     1.8 -//  def unwrap_term (t: XML.Tree): Term = t match {
     1.9 -//    case XML.Elem(("MATHML", Nil), List(
    1.10 -//           XML.Elem(("ISA", Nil), List(XML.Text("aaa + bbb::real TODO"))),
    1.11 -//           XML.Elem(("TERM", Nil), List(term))))
    1.12 -//           => Codec[Term].decode(term)
    1.13 -//  }
    1.14 -
    1.15  }
    1.16 \ No newline at end of file