# HG changeset patch
# User wenzelm
# Date 1601304229 -7200
# Node ID c695d0b8958685864bf37166736c1f648085a609
# Parent  76bb6dd505c0b1440e76e21c11c65b489831a915
more standard and more robust, following hints on the Net;

diff -r 76bb6dd505c0 -r c695d0b89586 src/HOL/Examples/document/root.tex
--- a/src/HOL/Examples/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
+++ b/src/HOL/Examples/document/root.tex	Mon Sep 28 16:43:49 2020 +0200
@@ -1,6 +1,6 @@
 \documentclass[11pt,a4paper]{article}
+\usepackage[T1]{fontenc}
 \usepackage[utf8]{inputenc}
-\usepackage[T1]{fontenc}
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{ifthen,proof,amssymb,isabelle,isabellesym}
 
diff -r 76bb6dd505c0 -r c695d0b89586 src/Pure/Examples/document/root.tex
--- a/src/Pure/Examples/document/root.tex	Mon Sep 28 16:23:15 2020 +0200
+++ b/src/Pure/Examples/document/root.tex	Mon Sep 28 16:43:49 2020 +0200
@@ -1,6 +1,6 @@
 \documentclass[11pt,a4paper]{article}
+\usepackage[T1]{fontenc}
 \usepackage[utf8]{inputenc}
-\usepackage[T1]{fontenc}
 \usepackage{ifthen,proof,amssymb,isabelle,isabellesym}
 
 \isabellestyle{literal}