changeset 40945 | b8703f63bfb2 |
parent 19024 | 80eb6640f3d5 |
child 55369 | 713629c2b73c |
--- a/src/HOL/ex/document/root.tex Fri Dec 03 20:26:57 2010 +0100 +++ b/src/HOL/ex/document/root.tex Fri Dec 03 20:38:58 2010 +0100 @@ -3,7 +3,7 @@ \documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym} -\usepackage[latin1]{inputenc} +\usepackage[utf8]{inputenc} \usepackage[english]{babel} \usepackage{textcomp} \usepackage{amssymb}