Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Potential HTML generation bug


view this post on Zulip Email Gateway (Jan 23 2021 at 18:31):

From: MACKENZIE Carlin <s1724780@sms.ed.ac.uk>
Dear all,

I’ve recently noticed that some HTML output has highly nested nodes which seem to be in error. The most extreme example of this I have found is in:
https://devel.isa-afp.org/browser_info/current/AFP/MonoidalCategory/MonoidalCategory.html

Some symbols are wrapped in 591 nested <span class="keyword1"> </span>. They are listed in this validation of the page https://validator.w3.org/nu/?doc=https%3A%2F%2Fdevel.isa-afp.org%2Fbrowser_info%2Fcurrent%2FAFP%2FMonoidalCategory%2FMonoidalCategory.html .

Regards,
Carlin MacKenzie
The University of Edinburgh

The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.


Last updated: Mar 04 2024 at 12:30 UTC