On Mon, 6 Feb 2017, Allin Cottrell wrote:
I'm about to merge the new "genr" code that properly
handles nesting of the
member-of relation. It has been tested to a fair extent already, but it will
be easier for me to complete the testing once this code is in the "master"
branch.
In case anyone needs it: I've deleted the "gentest" branch that has
now been merged into master, but there's now an "oldgen" branch
which preserves the state just prior to the merge.
Allin