diff mxtool/.project @ 6436:5395ecdfce8a

move monitors into FrameState (fixes subtle issues for tail duplication and other optimizations)
author Lukas Stadler <lukas.stadler@jku.at>
date Tue, 25 Sep 2012 17:50:01 +0200
parents 527724d26036
children
line wrap: on
line diff