| drwxr-xr-x | [up] | |||
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 365 | Gcd.adb | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 261 | Gcd.ads | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 369 | Simple_Gcd.adb | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 271 | Simple_Gcd.ads | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 648 | complex_types.ads | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 906 | complex_types_app.adb | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 238 | complex_types_app.ads | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 7079 | intro.tex | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 567 | loop_invariant.adb | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 337 | loop_invariant.ads | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 202 | root.bib | file | revisions | annotate |
| -rw-r--r-- | 2022-01-21 23:49 +0000 | 1614 | root.tex | file | revisions | annotate |