*** Failed to relativize href location

[Tobias Nipkow]

...
Presenting theory "Dyck_Language.Dyck_Language"
Presenting theory "Pure"
*** Failed to relativize href location 
"/Users/nipkow/.isabelle/browser_info/HOL/HOL/ISABELLE_HOME/src/Provers/classical.ML.html" 
with wrt. base "/Users/nipkow/.isabelle/browser_info/AFP/Context_Free_Grammar"

AFP: parent: 16494:e2ca723aa27e tip
Isabelle: parent: 84518:f09a1737d3c0 tip

What am I doing wrong :)

Tobias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 4856 bytes
Desc: S/MIME Cryptographic Signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20260422/2a42b4ac/attachment.bin>