Index of /distrib/current/files

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]CoqIDE_8.5.dmg22-Jan-2016 01:19 112M 
[   ]CoqIDE_8.5.dmg.sha122-Jan-2016 01:20 57  
[   ]CoqSDK-85-1.zip23-Jan-2015 14:36 65M 
[   ]CoqSDK-85-1.zip.sha123-Jan-2015 14:37 58  
[   ]CoqSDK-85-1_64.zip17-Aug-2015 18:33 24M 
[   ]CoqSDK-85-1_64.zip.sha122-Jan-2016 20:27 61  
[   ]RecTutorial.pdf20-Jan-2016 23:57 375K 
[   ]Reference-Manual.pdf20-Jan-2016 23:55 1.6M 
[   ]Tutorial.pdf20-Jan-2016 23:56 199K 
[   ]coq-8.5.tar.gz20-Jan-2016 21:49 5.1M 
[   ]coq-8.5.tar.gz.sha120-Jan-2016 22:05 57  
[   ]coq-installer-8.5-win32.exe20-Jan-2016 22:22 93M 
[   ]coq-installer-8.5-win32.exe.sha121-Jan-2016 17:32 70  
[   ]coq-installer-8.5-win64.exe20-Jan-2016 22:39 92M 
[   ]coq-installer-8.5-win64.exe.sha121-Jan-2016 17:32 70