Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Makefile.in | 580 | logplain |
-rw-r--r-- | bar.adb | 877 | logplain |
-rw-r--r-- | bar.ads | 861 | logplain |
-rw-r--r-- | fixed_points.adb | 1467 | logplain |
-rw-r--r-- | fixed_points.exp | 1480 | logplain |
-rw-r--r-- | gnat_ada.gin | 1129 | logplain |
-rw-r--r-- | null_record.adb | 863 | logplain |
-rw-r--r-- | null_record.exp | 1294 | logplain |