doc-src/IsarAdvanced/Codegen/Thy/document/Adaption.tex
2008-11-03 haftmann 2008-11-03 improved verbatim mechanism
2008-10-24 haftmann 2008-10-24 explicit namings for generated code
2008-10-17 haftmann 2008-10-17 filled remaining gaps
2008-10-16 haftmann 2008-10-16 correct rounding
2008-10-16 haftmann 2008-10-16 circumvent some TeX problem
2008-10-15 haftmann 2008-10-15 figure for adaption
2008-10-14 haftmann 2008-10-14 continued codegen tutorial
2008-10-10 haftmann 2008-10-10 tuned
2008-10-10 haftmann 2008-10-10 some adaption
2008-10-02 haftmann 2008-10-02 tuned
2008-10-01 haftmann 2008-10-01 fixed