# HG changeset patch
# User wenzelm
# Date 1735755840 -3600
# Node ID dc105ee2d759f26f2c52913514432ef8b8fe3329
# Parent  600d1f17af682dedfe7d8ff4a71565d20f636f84
more robust LaTeX setup, notably for Ubuntu 24.04;

diff -r 600d1f17af68 -r dc105ee2d759 src/HOL/HOLCF/Tutorial/document/root.tex
--- a/src/HOL/HOLCF/Tutorial/document/root.tex	Wed Jan 01 16:42:28 2025 +0100
+++ b/src/HOL/HOLCF/Tutorial/document/root.tex	Wed Jan 01 19:24:00 2025 +0100
@@ -2,6 +2,7 @@
 % HOLCF/document/root.tex
 
 \documentclass[11pt,a4paper]{article}
+\usepackage[T1]{fontenc}
 \usepackage{graphicx,isabelle,isabellesym,latexsym}
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{textcomp}
diff -r 600d1f17af68 -r dc105ee2d759 src/HOL/ZF/document/root.tex
--- a/src/HOL/ZF/document/root.tex	Wed Jan 01 16:42:28 2025 +0100
+++ b/src/HOL/ZF/document/root.tex	Wed Jan 01 19:24:00 2025 +0100
@@ -1,4 +1,5 @@
 \documentclass[11pt,a4paper]{article}
+\usepackage[T1]{fontenc}
 \usepackage{isabelle,isabellesym}
 
 % this should be the last package used