Feature request: Customize equality predicate for pattern variables Marc Nieper-Wißkirchen (05 Sep 2020 15:20 UTC)

Re: Feature request: Customize equality predicate for pattern variables Marc Nieper-Wißkirchen (13 Sep 2020 13:08 UTC)

Re: Feature request: Customize equality predicate for pattern variables Felix Thibault (13 Sep 2020 13:41 UTC)

Re: Feature request: Customize equality predicate for pattern variables Marc Nieper-Wißkirchen (13 Sep 2020 13:55 UTC)

Re: Feature request: Customize equality predicate for pattern variables Felix Thibault (18 Sep 2020 22:56 UTC)

Re: Feature request: Customize equality predicate for pattern variables Felix Thibault (20 Sep 2020 01:04 UTC)