# HG changeset patch # User haftmann # Date 1224139707 -7200 # Node ID 77ffacd6df76599d176b1f593f764e211eb431c5 # Parent 06ddf63f2ecd6115b5e84b569fddcdbc3c53f439 circumvent some TeX problem diff -r 06ddf63f2ecd -r 77ffacd6df76 doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy --- a/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy Thu Oct 16 00:18:53 2008 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy Thu Oct 16 08:48:27 2008 +0200 @@ -83,7 +83,7 @@ \node at (19.5, -5) {language}; \node at (19.5, -3) {library}; \node (includes) at (19.5, -1) {includes}; - \node (reserved) at (16.5, -3) [rotate=71.57] {reserved}; + \node (reserved) at (16.5, -3) [rotate=71] {reserved}; % proper 71.57 \draw[style=process] (includes) -- (serialisation); \draw[style=process] diff -r 06ddf63f2ecd -r 77ffacd6df76 doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex --- a/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex Thu Oct 16 00:18:53 2008 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex Thu Oct 16 08:48:27 2008 +0200 @@ -120,7 +120,7 @@ \node at (19.5, -5) {language}; \node at (19.5, -3) {library}; \node (includes) at (19.5, -1) {includes}; - \node (reserved) at (16.5, -3) [rotate=71.57] {reserved}; + \node (reserved) at (16.5, -3) [rotate=71] {reserved}; % proper 71.57 \draw[style=process] (includes) -- (serialisation); \draw[style=process]