MIRA: connect informal traces and formal refinement
1. Add radio button #1832
2. Add button in MIRA to connect traces and formal refinements #1858
(from redmine: issue id 1831, created on 2013-11-11, closed on 2014-07-02)
- Relations:
- relates #1832 (closed)
- relates #1858 (closed)
- Uploads: