Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. Remove fontenc from root.tex to make Ł show in PDF.
Changeset 13044:2b82df697776 by asta halkjær from _andro.from@gmail.com_:
Remove fontenc from root.tex to make Ł show in PDF.
The file was modified thys/Implicational_Logic/document/root.tex