Intra-clause cross-references and @refs-if

Intra-clause references can be made with §1, §2… But this doesn’t work with @refs-if(§1, §2…) for example.

However, it does work with { AND | §1 | §2 … }

Is there a particular reason why intra-clauses don’t work with the special function @refs-if?

Hi Bernd,

There were deep technical constraints why this was not currently possible. I updated the software, it should now be possible. (The new version will probably be released by the end of this weekend.)

Thank you Maarten!