Problem in AFP

[Florian Haftmann]

isabelle: e9e3caa03b2e tip
afp: 06d77fc7c645 tip

$ isabelle build Elliptic_Functions
*** Cannot load theory "Polylog.Polylog_Library"
*** The error(s) above occurred for theory "Polylog.Polylog_Library"
*** (required by "Elliptic_Functions.Dedekind_Eta" via 
"Elliptic_Functions.Theta_Inversion") (line 6 of 
"/home/haftmann/data/tum/afp/master/thys/Elliptic_Functions/Theta_Inversion.thy")
*** Cannot load theory "Polylog.Polylog_Library"
*** No such file: "Polylog.Polylog_Library"
*** The error(s) above occurred in session "Elliptic_Functions" (line 3 
of "/home/haftmann/data/tum/afp/master/thys/Elliptic_Functions/ROOT")

	Florian

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0xA707172232CFA4E9.asc
Type: application/pgp-keys
Size: 25429 bytes
Desc: OpenPGP public key
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251027/322ac388/attachment-0001.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature.asc
Type: application/pgp-signature
Size: 228 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20251027/322ac388/attachment-0001.sig>