Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned document
authorhaftmann
Tue, 01 Sep 2009 16:00:59 +0200
changeset 32481 711d1a43d754
parent 32480 6c19da8e661a
child 32482 236fa33784de
tuned document
src/HOL/Old_Number_Theory/document/root.tex file | annotate | diff | comparison | revisions 
--- 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}
isabelle