HomeIsabelle/Phabricator
Diffusion afp-devel 7e540c9d3f74

LuaLaTeX compatibility improvement
7e540c9d3f74
Actions

Description

LuaLaTeX compatibility improvement

Details

Provenance
Lars Hupel <lars.hupel@mytum.de>Authored on
Parents
rAFPc0be5562644a: [VeriComp] Change load from a function to a relation
Branches
Unknown
Tags
Unknown

Changes (5)

PathSize
thys/
Bicategory/
document/
InfPathElimination/
document/
Possibilistic_Noninterference/
document/
Store_Buffer_Reduction/
document/
pGCL/
document/

rAFP7e540c9d3f74

View Options

thys/Bicategory/document/root.tex

Loading...
View Options

thys/InfPathElimination/document/root.tex

Loading...
View Options

thys/Possibilistic_Noninterference/document/root.tex

Loading...
View Options

thys/Store_Buffer_Reduction/document/root.tex

Loading...
View Options

thys/pGCL/document/root.tex

Loading...