From 96e17431b32ea9215924a5dbaad60bf310860c0f Mon Sep 17 00:00:00 2001
From: Norbert Klawikowski <norbert.klawikowski@tu-dresden.de>
Date: Tue, 1 Dec 2009 18:06:30 +0000
Subject: [PATCH] progress on inserting TreeNodes; minor fixes

-- 
GitLab