From 5a760b9e2c8584803c429972b611eebf48cdd20c Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 8 Feb 2024 19:23:46 +0000
Subject: [PATCH] Set default options for babel.

---
 .../document-templates/root-lipics-v2021-UNSUPPORTED.tex        | 2 ++
 1 file changed, 2 insertions(+)

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}