--- a/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy Thu Oct 16 08:48:27 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy Thu Oct 16 08:51:05 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] {reserved}; % proper 71.57
+ \node (reserved) at (16.5, -3) [rotate=72] {reserved}; % proper 71.57
\draw[style=process]
(includes) -- (serialisation);
\draw[style=process]
--- a/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex Thu Oct 16 08:48:27 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex Thu Oct 16 08:51:05 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] {reserved}; % proper 71.57
+ \node (reserved) at (16.5, -3) [rotate=72] {reserved}; % proper 71.57
\draw[style=process]
(includes) -- (serialisation);
\draw[style=process]