Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/curry-packages/xml

66e4ba73 · Michael Hanus · af383083 · b36aa767 · 66e4ba73
Commit 66e4ba73 authored Dec 11, 2018 by Michael Hanus
--- a/src/XML.curry
+++ b/src/XML.curry
@@ -5,7 +5,7 @@
 --- might be changed in the future!
 ---
 --- @author Michael Hanus
--- @version September 2017
+--- @version June 2018
 ------------------------------------------------------------------------------
 module XML(XmlExp(..),Encoding(..),XmlDocParams(..),