adapted to LuaLaTeX according to Isabelle/299f6a8faccc;
\usepackage[T1]{fontenc} is default, it provides e.g. proper cartouche-delimiters; \usepackage{lmodern} is no longer required, since T1 in LuaLaTeX has proper scalable fonts; \usepackage[utf8]{inputenc} is obsolete in LuaLaTeX; tuned whitespace;
Showing
- thys/ADS_Functor/document/root.tex 1 addition, 0 deletionsthys/ADS_Functor/document/root.tex
- thys/AI_Planning_Languages_Semantics/document/root.tex 1 addition, 0 deletionsthys/AI_Planning_Languages_Semantics/document/root.tex
- thys/AODV/document/root.tex 1 addition, 0 deletionsthys/AODV/document/root.tex
- thys/AVL-Trees/document/root.tex 1 addition, 0 deletionsthys/AVL-Trees/document/root.tex
- thys/AWN/document/root.tex 1 addition, 1 deletionthys/AWN/document/root.tex
- thys/Abortable_Linearizable_Modules/document/root.tex 1 addition, 1 deletionthys/Abortable_Linearizable_Modules/document/root.tex
- thys/Abs_Int_ITP2012/document/root.tex 1 addition, 0 deletionsthys/Abs_Int_ITP2012/document/root.tex
- thys/Abstract-Hoare-Logics/document/root.tex 1 addition, 0 deletionsthys/Abstract-Hoare-Logics/document/root.tex
- thys/Abstract-Rewriting/document/root.tex 1 addition, 0 deletionsthys/Abstract-Rewriting/document/root.tex
- thys/Abstract_Completeness/document/root.tex 1 addition, 0 deletionsthys/Abstract_Completeness/document/root.tex
- thys/Abstract_Soundness/document/root.tex 1 addition, 0 deletionsthys/Abstract_Soundness/document/root.tex
- thys/Adaptive_State_Counting/document/root.tex 1 addition, 0 deletionsthys/Adaptive_State_Counting/document/root.tex
- thys/Affine_Arithmetic/document/root.tex 1 addition, 0 deletionsthys/Affine_Arithmetic/document/root.tex
- thys/Aggregation_Algebras/document/root.tex 1 addition, 1 deletionthys/Aggregation_Algebras/document/root.tex
- thys/Akra_Bazzi/document/root.tex 1 addition, 0 deletionsthys/Akra_Bazzi/document/root.tex
- thys/Algebraic_Numbers/document/root.tex 1 addition, 0 deletionsthys/Algebraic_Numbers/document/root.tex
- thys/Algebraic_VCs/document/root.tex 1 addition, 0 deletionsthys/Algebraic_VCs/document/root.tex
- thys/Allen_Calculus/document/root.tex 1 addition, 0 deletionsthys/Allen_Calculus/document/root.tex
- thys/Amicable_Numbers/document/root.tex 1 addition, 0 deletionsthys/Amicable_Numbers/document/root.tex
- thys/Amortized_Complexity/document/root.tex 1 addition, 0 deletionsthys/Amortized_Complexity/document/root.tex
Loading