March 23, 2015
7:04 a.m.
On 23 March 2015 at 13:25, Stuart Bishop <stuart@stuartbishop.net> wrote:
On 16 February 2015 at 23:33, Paul Eggert <eggert@cs.ucla.edu> wrote:
Thanks, I've pushed that correction into the experimental version.
I think these rules are still faulty in 2015b:
The problem was at my end, and it is correct in 2015b. Sorry for the noise everyone. -- Stuart Bishop <stuart@stuartbishop.net> http://www.stuartbishop.net/