*** Failed to relativize href location

[Makarius]

On 22/04/2026 11:37, Tobias Nipkow wrote:
> ...
> 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 :)

I've got something wrong in b8b99a2c5991 with the semantics of 
File.relative_path vs. _.relativize(_) --- and need to investigate this further.


	Makarius