| changeset 72320 | c695d0b89586 |
| parent 71924 | e5df9c8d9d4b |
| child 73404 | 299f6a8faccc |
--- 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}