AmpersandTarski/prototype — pull request #2 by Oblosys (2014-10-09 10:46:11+00:00)
Title: Allow editing narrowed relations

There are still some strange issues (see SpecEdit.adl), but we will go with this algorithm for now.