source: @ 4464

Name	Size	Rev	Age	Author	Last Change
tags		3866	13 years	mkommend	corrected critical bug in release tag (ticket #972)
trunk	​	4455	12 years	swagner	Worked on OKB (#1174)
branches		4464	12 years	gkronber	Fixed bugs in views for manual simplification of symbolic models. #1142

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