diff --git a/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex b/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex index 9c43b1c..1eca449 100644 --- a/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex +++ b/Isabelle_DOF-Ontologies/document-templates/root-lipics-v2021-UNSUPPORTED.tex @@ -23,6 +23,8 @@ %% All customization and/or additional packages should be added to the file %% preamble.tex. + +\PassOptionsToPackage{english,USenglish}{babel} \documentclass[a4paper,UKenglish,cleveref, autoref,thm-restate]{lipics-v2021} \bibliographystyle{plainurl}% the mandatory bibstyle \title{No Title Given}