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