# HG changeset patch
# User berghofe
# Date 1316704546 -7200
# Node ID 5ff8cd3b1673e1ade93d95cb8742ec4e06fa2e79
# Parent  7ac79855b1e209339846b33e66d353f65acdc4af
Removed hcentering and vcentering options, since they are not supported
by all versions of geometry.

diff -r 7ac79855b1e2 -r 5ff8cd3b1673 src/HOL/SPARK/Manual/document/root.tex
--- a/src/HOL/SPARK/Manual/document/root.tex	Thu Sep 22 16:56:19 2011 +0200
+++ b/src/HOL/SPARK/Manual/document/root.tex	Thu Sep 22 17:15:46 2011 +0200
@@ -1,6 +1,6 @@
 \documentclass[12pt,a4paper]{report}
 
-\usepackage[a4paper,hscale=0.65,vscale=0.71,hcentering,vcentering]{geometry}
+\usepackage[a4paper,hscale=0.65,vscale=0.71]{geometry}
 
 \usepackage{isabelle,isabellesym}