#2261 (Sep 26, 2020, 5:28:43 PM)

Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

1. include a copy of https://www.ctan.org/pkg/algorithm2e encoded in utf8, notably for lualatex; (detail)
2. removed junk; (detail)
3. proper utf8 inputenc, notably for lualatex; (detail)

Started by an SCM change

This run spent:

• 2 min 4 sec waiting;
• 14 min build duration;
• 16 min total from scheduled to completion.

• Group-Ring-Module
• Types_Tableaus_and_Goedels_God
• Regular_Algebras
• Probabilistic_Noninterference