elision/elision — pull request #93 by Cazra (2012-08-10 20:10:50+00:00)
Title: Interactive Elision rule creation

Eva now has a feature that allows you to create new rules in Eva by selecting a node representing an atom as the LHS. Then the user is prompted to provide the RHS for the rule and it is saved to an eli file with a save dialog.

In Elision mode, this feature can be accessed from Elision>Create Rule from Node or with the keyboard shortcut Ctrl+ R.