![[ICO]](/icons/blank.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/binary.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| CiaoDE-1.15-1635-g5ac510e.dmg | 2013-01-28 07:46 | 19M | |
| CiaoDE-1.15-1635-g5ac510e.exe | 2013-01-28 07:46 | 21M | |
| CiaoDE-1.15-1635-g5ac510e.tar.gz | 2013-01-28 07:46 | 12M | |
| CiaoDE-1.15-1635-g5ac510e_ciao.html.tar.gz | 2021-04-25 09:38 | 779K | |
| CiaoDE-1.15-1635-g5ac510e_ciao.pdf | 2013-01-28 07:46 | 4.6M | |
| CiaoDE-1.15-1635-g5ac510e_ciaopp.html.tar.gz | 2021-04-25 09:38 | 170K | |
| CiaoDE-1.15-1635-g5ac510e_ciaopp.pdf | 2013-01-28 07:47 | 744K | |
| CiaoDE-1.15-1635-g5ac510e_lpdoc.html.tar.gz | 2021-04-25 09:38 | 173K | |
| CiaoDE-1.15-1635-g5ac510e_lpdoc.pdf | 2013-01-28 07:47 | 854K | |
| desc.tmpl | 2013-01-28 07:46 | 1.0K | |