![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 2025-12-06 14:01 | 4.8K | |
| tail | 2025-12-06 13:59 | 32K | |
| obj/ | 2025-12-06 13:59 | - | |
| head | 2025-12-06 13:59 | 28K | |
| log.html | 2025-12-06 13:47 | 513 | |
| Environment.txt | 2025-12-06 06:07 | 19 | |
| Versions.lst | 2025-12-04 06:01 | 10 | |
| Versions.default | 2025-12-04 06:01 | 10 | |
| gnos.versions.start_date | 2024-03-17 17:38 | 20 | |
| History.txt | 2016-12-06 15:54 | 8.1K | |
| gnostic/ | 2016-12-06 15:38 | - | |
| Project.lst | 2016-12-06 15:02 | 317 | |
| Project.default | 2016-12-06 15:02 | 317 | |
| doc/ | 2016-12-06 13:35 | - | |
| Howto.txt | 2016-12-05 05:24 | 4.0K | |
| tail.adb | 2016-12-02 17:52 | 1.5K | |
| head.adb | 2016-12-02 17:26 | 722 | |
| Config_File.txt | 2016-12-02 02:28 | 89 | |
| gpl.txt | 2016-11-27 06:39 | 18K | |
| Abstract.txt | 2016-11-27 06:38 | 51 | |