avsm/mirage — Issue #75: more .annot issues
Author: mor1
Created: 2011-10-22 15:20:49+00:00
State: open

generation now ok in the first pass. but .annot files don't seem to be updated when source .ml changes?