From 76d00ea4598fc7f519c094313444073804328a6f Mon Sep 17 00:00:00 2001
From: Andreas Naumann <andreas.naumann@tu-dresden.de>
Date: Wed, 28 Oct 2009 11:40:49 +0000
Subject: [PATCH] implementing the reader for the xml-descriptors, eval terms
 are missing

-- 
GitLab