From 37a36c611259918e9ea4f9d5c5d145d70b72612f Mon Sep 17 00:00:00 2001 From: Christian Maeder Date: Fri, 12 Nov 2010 17:28:20 +0000 Subject: [PATCH] tagging 0.97 hets release git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/tags/release-0.97@14221 cec4b9c1-7d33-0410-9eda-942365e851bb