After a long time (as you can imagine, this year everything has been upside down ...), you will find enclosed the patch for extending the range operators so they can cope with range <op> element and element <op> range in addition to the existing range <op> range.
Best regards
Esteban
------------------------------------------------------------ Prof. Esteban Zimanyi Department of Computer & Decision Engineering (CoDE) CP 165/15 Universite Libre de Bruxelles Avenue F. D. Roosevelt 50 B-1050 Brussels, Belgium fax: + 32.2.650.47.13 tel: + 32.2.650.31.85 e-mail: ezimanyi@ulb.ac.be Internet: http://cs.ulb.ac.be/members/esteban/ ------------------------------------------------------------
On Tue, Sep 17, 2019 at 5:18 AM David Fetter <david@fetter.org> wrote: