# HG changeset patch
# User wenzelm
# Date 1601302995 -7200
# Node ID 76bb6dd505c0b1440e76e21c11c65b489831a915
# Parent  bc97bd4c0474415e2374a55b5f84e23a781574e9
obsolete, T1 fonts are fine in lualatex (see also cc71f01f9fde);

diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Corec/document/root.tex
--- a/src/Doc/Corec/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Corec/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{article} % fleqn
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsfonts}
 \usepackage{amsmath}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Datatypes/document/root.tex
--- a/src/Doc/Datatypes/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Datatypes/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{article} % fleqn
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsfonts}
 \usepackage{amsmath}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Eisbach/document/root.tex
--- a/src/Doc/Eisbach/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Eisbach/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper,fleqn]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/How_to_Prove_it/document/prelude.tex
--- a/src/Doc/How_to_Prove_it/document/prelude.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/How_to_Prove_it/document/prelude.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -4,7 +4,6 @@
 \usepackage{multicol}        % used for the two-column index
 \usepackage[bottom]{footmisc}% places footnotes at page bottom
 
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 
 \usepackage{isabelle,isabellesym}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Implementation/document/root.tex
--- a/src/Doc/Implementation/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Implementation/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper,fleqn]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{latexsym,graphicx}
 \usepackage[refpage]{nomencl}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Isar_Ref/document/root.tex
--- a/src/Doc/Isar_Ref/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Isar_Ref/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper,fleqn]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/JEdit/document/root.tex
--- a/src/Doc/JEdit/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/JEdit/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{supertabular}
 \usepackage{rotating}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Locales/document/root.tex
--- a/src/Doc/Locales/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Locales/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[11pt,a4paper]{article}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{tikz}
 \usepackage{subfigure}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Main/document/root.tex
--- a/src/Doc/Main/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Main/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{article}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 
 %shortens document but can cause odd page breaks
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Nitpick/document/root.tex
--- a/src/Doc/Nitpick/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Nitpick/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[a4paper,12pt]{article}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/Sledgehammer/document/root.tex
--- a/src/Doc/Sledgehammer/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/Sledgehammer/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[a4paper,12pt]{article}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{amsmath}
 \usepackage{amssymb}
diff -r bc97bd4c0474 -r 76bb6dd505c0 src/Doc/System/document/root.tex
--- a/src/Doc/System/document/root.tex	Mon Sep 28 15:37:12 2020 +0200
+++ b/src/Doc/System/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
@@ -1,5 +1,4 @@
 \documentclass[12pt,a4paper]{report}
-\usepackage{lmodern}
 \usepackage[T1]{fontenc}
 \usepackage{supertabular}
 \usepackage{graphicx}