Author: lckarssen Date: 2012-12-06 13:38:01 +0100 (Thu, 06 Dec 2012) New Revision: 1040 Removed: branches/ProbABEL-refactoring/ Log: Removing the ProbABEL-refactoring branch. All changes have been integrated in trunk.