# HG changeset patch
# User wenzelm
# Date 1346266007 -7200
# Node ID c83370b55e468ae48ece16fbcb5972f2e4d6da77
# Parent  0cebcbeac4c7a01a27b436cdd85caa2adf0c2ced
more robust document setup;

diff -r 0cebcbeac4c7 -r c83370b55e46 src/ZF/document/root.tex
--- a/src/ZF/document/root.tex	Wed Aug 29 20:16:22 2012 +0200
+++ b/src/ZF/document/root.tex	Wed Aug 29 20:46:47 2012 +0200
@@ -1,6 +1,7 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{graphicx,isabelle,isabellesym}
 \usepackage{amssymb}
+\usepackage[english]{babel}
 
 % this should be the last package used
 \usepackage{pdfsetup}