# HG changeset patch
# User wenzelm
# Date 1011375339 -3600
# Node ID 668073849ca99fabe3e31704cfc9193746dcd5e6
# Parent  1f073030b97a0f53d55461bb590608124787dc9f
fixed document setup of HOL-Library;

diff -r 1f073030b97a -r 668073849ca9 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jan 18 18:30:19 2002 +0100
+++ b/src/HOL/IsaMakefile	Fri Jan 18 18:35:39 2002 +0100
@@ -191,7 +191,8 @@
   Library/Ring_and_Field_Example.thy Library/Nat_Infinity.thy \
   Library/README.html Library/Continuity.thy \
   Library/Nested_Environment.thy Library/Rational_Numbers.thy \
-  Library/Library/ROOT.ML Library/While_Combinator.thy
+  Library/Library/ROOT.ML Library/Library/document/root.tex \
+  Library/Library/document/root.bib Library/While_Combinator.thy
 	@cd Library; $(ISATOOL) usedir $(OUT)/HOL Library
 
 
diff -r 1f073030b97a -r 668073849ca9 src/HOL/Library/Library/document/root.tex
--- a/src/HOL/Library/Library/document/root.tex	Fri Jan 18 18:30:19 2002 +0100
+++ b/src/HOL/Library/Library/document/root.tex	Fri Jan 18 18:35:39 2002 +0100
@@ -3,6 +3,7 @@
 
 \documentclass[11pt,a4paper]{article}
 \usepackage{ifthen}
+\usepackage[latin1]{inputenc}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
 \urlstyle{rm}