| changeset 462 | 1d1e795bc3ad |
| parent 454 | e2fe7e93333c |
| child 466 | 26d2f91608ed |
| 460:5c33c4b52ad7 | 462:1d1e795bc3ad |
|---|---|
288 |
288 |
289 \vfill |
289 \vfill |
290 |
290 |
291 This document (version \input{tip}\hspace{-0.5ex}) was compiled with:\\ |
291 This document (version \input{tip}\hspace{-0.5ex}) was compiled with:\\ |
292 \input{version}\\ |
292 \input{version}\\ |
293 \input{pversion} |
293 %%\input{pversion} |
294 *} |
294 *} |
295 |
295 |
296 end |
296 end |