Hello, Jens Lechtenboerger <lech...@wi.uni-muenster.de> writes:
> I copied that from the address bar of my browser, probably two years > ago. Today, I was surprised by a compilation failure. Link syntax is currently unstable. We fix it on one side and it breaks elsewhere. This thread is an attempt to make the link syntax stable. It will not necessarily solve your example, tho. Regards, -- Nicolas Goaziou
