proper \usepackage[T1]{fontenc} for rendering of \<open> \<close> on Ubuntu 24.04;
Showing
- thys/BenOr_Kozen_Reif/document/root.tex 1 addition, 0 deletionsthys/BenOr_Kozen_Reif/document/root.tex
- thys/Birkhoff_Finite_Distributive_Lattices/document/root.tex 1 addition, 0 deletionsthys/Birkhoff_Finite_Distributive_Lattices/document/root.tex
- thys/CSP_RefTK/document/root.tex 1 addition, 0 deletionsthys/CSP_RefTK/document/root.tex
- thys/CVM_Distinct_Elements/document/root.tex 1 addition, 0 deletionsthys/CVM_Distinct_Elements/document/root.tex
- thys/Cardinality_Continuum/document/root.tex 1 addition, 0 deletionsthys/Cardinality_Continuum/document/root.tex
- thys/Chebyshev_Polynomials/document/root.tex 1 addition, 0 deletionsthys/Chebyshev_Polynomials/document/root.tex
- thys/Clique_and_Monotone_Circuits/document/root.tex 1 addition, 0 deletionsthys/Clique_and_Monotone_Circuits/document/root.tex
- thys/Complete_Non_Orders/document/root.tex 1 addition, 0 deletionsthys/Complete_Non_Orders/document/root.tex
- thys/Complex_Bounded_Operators/document/root.tex 1 addition, 0 deletionsthys/Complex_Bounded_Operators/document/root.tex
- thys/Continued_Fractions/document/root.tex 1 addition, 0 deletionsthys/Continued_Fractions/document/root.tex
- thys/Cubic_Quartic_Equations/document/root.tex 1 addition, 1 deletionthys/Cubic_Quartic_Equations/document/root.tex
- thys/DPRM_Theorem/document/root.tex 1 addition, 0 deletionsthys/DPRM_Theorem/document/root.tex
- thys/Design_Theory/document/root.tex 1 addition, 0 deletionsthys/Design_Theory/document/root.tex
- thys/Directed_Sets/document/root.tex 1 addition, 0 deletionsthys/Directed_Sets/document/root.tex
- thys/Dominance_CHK/document/root.tex 1 addition, 1 deletionthys/Dominance_CHK/document/root.tex
- thys/Efficient_Weighted_Path_Order/document/root.tex 1 addition, 0 deletionsthys/Efficient_Weighted_Path_Order/document/root.tex
- thys/Elimination_Of_Repeated_Factors/document/root.tex 1 addition, 0 deletionsthys/Elimination_Of_Repeated_Factors/document/root.tex
- thys/Epistemic_Logic/document/root.tex 1 addition, 0 deletionsthys/Epistemic_Logic/document/root.tex
- thys/FO_Theory_Rewriting/document/root.tex 1 addition, 0 deletionsthys/FO_Theory_Rewriting/document/root.tex
- thys/FSM_Tests/document/root.tex 1 addition, 0 deletionsthys/FSM_Tests/document/root.tex
Loading
Please register or sign in to comment