From e56a5dfc92213d628e2a088fce4dd520b744fed1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20Tuong?=
<tuong@users.noreply.github.com>
Date: Tue, 28 Dec 2021 08:10:27 -0800
Subject: [PATCH] synchronize with 1a42ddd5dbbc
https://foss.heptapod.net/isa-afp/afp-devel/-/commit/8602a88cf34434831f86066f12241a398aff3c13
---
C11-FrontEnd/document/root.tex | 2 --
Citadelle/src/compiler_generic/document/root.tex | 2 --
Citadelle/src/uml_main/document/root.tex | 2 --
Citadelle/src/uml_main/document/syntax_main.tex | 1 -
4 files changed, 7 deletions(-)
diff --git a/C11-FrontEnd/document/root.tex b/C11-FrontEnd/document/root.tex
index c516a4f8c5f..20e2c50048c 100644
--- a/C11-FrontEnd/document/root.tex
+++ b/C11-FrontEnd/document/root.tex
@@ -1,7 +1,5 @@
\documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage{lmodern}
\usepackage[numbers, sort&compress, sectionbib]{natbib}
\usepackage{isabelle,isabellesym}
\usepackage{ifthen}
diff --git a/Citadelle/src/compiler_generic/document/root.tex b/Citadelle/src/compiler_generic/document/root.tex
index 8ad60e0b616..4c7b1efaf1e 100644
--- a/Citadelle/src/compiler_generic/document/root.tex
+++ b/Citadelle/src/compiler_generic/document/root.tex
@@ -1,7 +1,5 @@
\documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage{lmodern}
\usepackage{textcomp}
\usepackage[english]{babel}
%\usepackage[draft]{fixme}
diff --git a/Citadelle/src/uml_main/document/root.tex b/Citadelle/src/uml_main/document/root.tex
index d62ec842cfe..c214c2dcf6d 100644
--- a/Citadelle/src/uml_main/document/root.tex
+++ b/Citadelle/src/uml_main/document/root.tex
@@ -1,8 +1,6 @@
\documentclass[fontsize=10pt,DIV12,paper=a4,open=right,twoside,abstract=true]{scrreprt}
\usepackage{fixltx2e}
\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage{lmodern}
\usepackage{textcomp}
\usepackage[english]{babel}
\usepackage{isabelle}
diff --git a/Citadelle/src/uml_main/document/syntax_main.tex b/Citadelle/src/uml_main/document/syntax_main.tex
index 8962b769c5d..06a37ed8ee4 100644
--- a/Citadelle/src/uml_main/document/syntax_main.tex
+++ b/Citadelle/src/uml_main/document/syntax_main.tex
@@ -1,7 +1,6 @@
\documentclass[10pt,DIV12,a4paper,openright,twoside,abstracton]{scrreprt}
\usepackage{fixltx2e}
\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
\usepackage{textcomp}
\usepackage{isabelle}
\usepackage{%
--
GitLab