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.
Removed hcentering and vcentering options, since they are not supported
authorberghofe
Thu, 22 Sep 2011 17:15:46 +0200
changeset 45046 5ff8cd3b1673
parent 45045 7ac79855b1e2
child 45047 3aa8d3c391a4
child 45049 13efaee97111
Removed hcentering and vcentering options, since they are not supported by all versions of geometry.
src/HOL/SPARK/Manual/document/root.tex file | annotate | diff | comparison | revisions 
--- 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}
isabelle