Link to Doron's tutorial and the bug tracker
Merge branch 'master' of github.com:DM2E/dm2e-gui