Index of /distrib/current/files

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]CoqIDE_8.5pl1.dmg16-Apr-2016 15:28 99M 
[   ]CoqIDE_8.5pl1.dmg.sha116-Apr-2016 15:41 60  
[   ]RecTutorial.pdf11-Apr-2016 15:26 375K 
[   ]Reference-Manual.pdf11-Apr-2016 15:26 1.6M 
[   ]Tutorial.pdf11-Apr-2016 15:26 199K 
[   ]coq-8.5pl1.tar.gz11-Apr-2016 15:19 5.1M 
[   ]coq-8.5pl1.tar.gz.sha111-Apr-2016 15:29 95  
[   ]coq-installer-8.5pl1-win32.exe18-Apr-2016 21:16 92M 
[   ]coq-installer-8.5pl1-win32.exe.sha118-Apr-2016 21:17 73  
[   ]coq-installer-8.5pl1-win64.exe16-Apr-2016 14:47 90M 
[   ]coq-installer-8.5pl1-win64.exe.sha118-Apr-2016 21:02 73