1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy	Thu Oct 16 08:48:27 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy	Thu Oct 16 08:51:05 2008 +0200
     1.3 @@ -83,7 +83,7 @@
     1.4        \node at (19.5, -5) {language};
     1.5        \node at (19.5, -3) {library};
     1.6        \node (includes) at (19.5, -1) {includes};
     1.7 -      \node (reserved) at (16.5, -3) [rotate=71] {reserved}; % proper 71.57
     1.8 +      \node (reserved) at (16.5, -3) [rotate=72] {reserved}; % proper 71.57
     1.9        \draw[style=process]
    1.10          (includes) -- (serialisation);
    1.11        \draw[style=process]

     2.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex	Thu Oct 16 08:48:27 2008 +0200
     2.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex	Thu Oct 16 08:51:05 2008 +0200
     2.3 @@ -120,7 +120,7 @@
     2.4        \node at (19.5, -5) {language};
     2.5        \node at (19.5, -3) {library};
     2.6        \node (includes) at (19.5, -1) {includes};
     2.7 -      \node (reserved) at (16.5, -3) [rotate=71] {reserved}; % proper 71.57
     2.8 +      \node (reserved) at (16.5, -3) [rotate=72] {reserved}; % proper 71.57
     2.9        \draw[style=process]
    2.10          (includes) -- (serialisation);
    2.11        \draw[style=process]