| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 365 | Gcd.adb | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 261 | Gcd.ads | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 369 | Simple_Gcd.adb | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 271 | Simple_Gcd.ads | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 648 | complex_types.ads | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 906 | complex_types_app.adb | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 238 | complex_types_app.ads | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 7079 | intro.tex | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 567 | loop_invariant.adb | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 337 | loop_invariant.ads | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 202 | root.bib | file | revisions | annotate |
| -rw-r--r-- | 2016-12-17 15:22 +0100 | 1590 | root.tex | file | revisions | annotate |