# HG changeset patch
# User haftmann
# Date 1251813659 -7200
# Node ID 711d1a43d7542d019d65a2b5ce6ce3f24e3a7715
# Parent  6c19da8e661a09922f7ddb79e1f3b10c665d4a5a
tuned document

diff -r 6c19da8e661a -r 711d1a43d754 src/HOL/Old_Number_Theory/document/root.tex
--- a/src/HOL/Old_Number_Theory/document/root.tex	Tue Sep 01 16:00:57 2009 +0200
+++ b/src/HOL/Old_Number_Theory/document/root.tex	Tue Sep 01 16:00:59 2009 +0200
@@ -2,6 +2,7 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx}
 \usepackage{isabelle,isabellesym,pdfsetup}
+\usepackage[latin1]{inputenc}
 
 \urlstyle{rm}
 \isabellestyle{it}