Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | adapad.adb | 19847 | logplain |
-rw-r--r-- | adapad.ads | 77 | logplain |
-rw-r--r-- | change_vectors.adb | 4123 | logplain |
-rw-r--r-- | change_vectors.ads | 1694 | logplain |
-rw-r--r-- | main.adb | 115 | logplain |
-rw-r--r-- | windows-about.adb | 2768 | logplain |
-rw-r--r-- | windows-about.ads | 866 | logplain |
-rw-r--r-- | windows-editor.adb | 4926 | logplain |
-rw-r--r-- | windows-editor.ads | 2641 | logplain |
-rw-r--r-- | windows-find.adb | 3777 | logplain |
-rw-r--r-- | windows-find.ads | 1398 | logplain |
-rw-r--r-- | windows-jump.adb | 2839 | logplain |
-rw-r--r-- | windows-jump.ads | 1066 | logplain |
-rw-r--r-- | windows-replace.adb | 4119 | logplain |
-rw-r--r-- | windows-replace.ads | 1325 | logplain |
-rw-r--r-- | windows.adb | 812 | logplain |
-rw-r--r-- | windows.ads | 267 | logplain |