Mercurial Mercurial > hg > isabelle-cookbook / 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 figure placement
authorChristian Urban <urbanc@in.tum.de>
Thu, 30 Jul 2009 16:02:26 +0200
changeset 296 fa2228a1d159
parent 295 24c68350d059
child 297 2565c87f8db7
tuned figure placement
ProgTutorial/Package/Ind_Interface.thy file | annotate | diff | comparison | revisions
progtutorial.pdf file | annotate | diff | comparison | revisions 
--- a/ProgTutorial/Package/Ind_Interface.thy	Thu Jul 30 15:51:51 2009 +0200
+++ b/ProgTutorial/Package/Ind_Interface.thy	Thu Jul 30 16:02:26 2009 +0200
@@ -5,7 +5,7 @@
 section {* Parsing and Typing the Specification\label{sec:interface} *}
 
 text_raw {*
-\begin{figure}[p]
+\begin{figure}[t]
 \begin{boxedminipage}{\textwidth}
 \begin{isabelle}
 *}
Binary file progtutorial.pdf has changed
isabelle-cookbook