source: @ 3880

Name	Size	Rev	Age	Author	Last Change
trunk	​	3880	15 years	abeham	#1023 * Added EmptyUserDefinedProblemEvaluator and set as default …
tags		3866	15 years	mkommend	corrected critical bug in release tag (ticket #972)
branches		3874	15 years	gkronber	Added first implementation of a simple randomized greedy pruning …

Property bugtraq:label set to Ticket Property bugtraq:logregex set to (?:ticket: *|#)(\d+) *(?:, *(\d+))* Property bugtraq:url set to /trac/hl3/core/ticket/%BUGID% Property bugtraq:warnifnoissue set to true