HomeIsabelle/Phabricator
Diffusion afp-devel cfa8f97ffe6d

proper utf8 inputenc, notably for lualatex;
cfa8f97ffe6d
Actions

Description

proper utf8 inputenc, notably for lualatex;

Details

Provenance
makariusAuthored on
Parents
rAFPa74ae3b9abd2: fixed proofs — not sure why they were failing
Branches
Unknown
Tags
Unknown

Changes (15)

PathSize
thys/
AutoFocus-Stream/
document/
CCS/
document/
Group-Ring-Module/
document/
HOL-CSP/
document/
LatticeProperties/
document/
List-Infinite/
document/
LocalLexing/
document/
Nat-Interval-Logic/
document/
Pi_Calculus/
document/
Probabilistic_Noninterference/
document/
PseudoHoops/
document/
Psi_Calculi/
document/
RefinementReactive/
document/
Security_Protocol_Refinement/
document/
Tarskis_Geometry/
document/

rAFPcfa8f97ffe6d

View Options

thys/AutoFocus-Stream/document/root.tex

Loading...
View Options

thys/CCS/document/root.tex

Loading...
View Options

thys/Group-Ring-Module/document/root.tex

Loading...
View Options

thys/HOL-CSP/document/root.tex

Loading...
View Options

thys/LatticeProperties/document/root.tex

Loading...
View Options

thys/List-Infinite/document/root.tex

Loading...
View Options

thys/LocalLexing/document/root.tex

Loading...
View Options

thys/Nat-Interval-Logic/document/root.tex

Loading...
View Options

thys/Pi_Calculus/document/root.tex

Loading...
View Options

thys/Probabilistic_Noninterference/document/root.tex

Loading...
View Options

thys/PseudoHoops/document/root.tex

Loading...
View Options

thys/Psi_Calculi/document/root.tex

Loading...
View Options

thys/RefinementReactive/document/root.tex

Loading...
View Options

thys/Security_Protocol_Refinement/document/root.tex

Loading...
View Options

thys/Tarskis_Geometry/document/root.tex

Loading...