Index of /distrib/current/files

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]CoqIDE_8.5pl3-unsigned.dmg2016-10-26 10:55 107M 
[   ]CoqIDE_8.5pl3.dmg2016-10-27 15:03 109M 
[   ]RecTutorial.pdf2016-10-26 10:45 375K 
[   ]Reference-Manual.pdf2016-10-26 10:45 1.6M 
[   ]Tutorial.pdf2016-10-26 10:45 194K 
[   ]coq-8.5pl3.tar.gz2016-10-26 09:05 5.1M 
[   ]coq-8.5pl3.tar.gz.sha12016-10-26 10:46 95  
[   ]coq-installer-8.5pl3-win32.exe2016-10-27 14:02 92M 
[   ]coq-installer-8.5pl3-win64.exe2016-10-27 14:03 90M