Merge branch 'master' of https://github.com/hann2/idsc
Merge branch 'master' of https://github.com/hann2/idsc
Merge branch 'master' of https://github.com/hann2/idsc
added edge splitting and collapsing
resolve merge