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 <>
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:

Some symbols are wrapped in 591 nested <span class="keyword1"> </span>. They are listed in this validation of the page .

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