On Tue, 7 Feb 2017, Riccardo (Jack) Lucchetti wrote:
On Mon, 6 Feb 2017, Allin Cottrell wrote:
> 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.
Does that mean that all the new apparatus is in git now?
Yes. I'll send out a description of the changes and some samples of
what can now be done when I get time, but I'm really busy right now.
Allin