source: @ 4402

Name	Size	Rev	Age	Author	Last Change
branches		4402	14 years	swinkler	Added diversity analysis branch. (#1188)
tags		3866	14 years	mkommend	corrected critical bug in release tag (ticket #972)
trunk	​	4398	14 years	gkronber	Merged bug fix for symbolic simplifier (r4389) into trunk. #1183

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