synchronize with 1a42ddd5dbbc...

synchronize with 1a42ddd5dbbc https://foss.heptapod.net/isa-afp/afp-devel/-/commit/8602a88cf34434831f86066f12241a398aff3c13

C11-FrontEnd/document/root.tex

 \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}

Citadelle/src/compiler_generic/document/root.tex

 \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}

Citadelle/src/uml_main/document/root.tex

 \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}

Citadelle/src/uml_main/document/syntax_main.tex

 \documentclass[10pt,DIV12,a4paper,openright,twoside,abstracton]{scrreprt}
 \usepackage{fixltx2e}
 \usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
 \usepackage{textcomp}
 \usepackage{isabelle}
 \usepackage{%