equal
deleted
inserted
replaced
231 text is still under construction. Sections and |
231 text is still under construction. Sections and |
232 chapters that are under \underline{heavy} construction are marked |
232 chapters that are under \underline{heavy} construction are marked |
233 with TBD.} |
233 with TBD.} |
234 |
234 |
235 \vfill |
235 \vfill |
236 This document was compiled with:\\ |
236 |
|
237 This document (version \input{tip}\hspace{-0.5ex}) was compiled with:\\ |
237 \input{version}\\ |
238 \input{version}\\ |
238 \input{pversion} |
239 \input{pversion} |
239 *} |
240 *} |
240 |
241 |
241 |
242 |