Index of /acl2s/update/plugins

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]acl2_image.linux.x86_7.1.0.jar07-Jan-2016 13:32 101M 
[   ]acl2_image.linux.x86_64_7.1.0.jar07-Jan-2016 13:32 74M 
[   ]acl2_image.macosx.x86_7.1.0.jar07-Jan-2016 13:32 73M 
[   ]acl2_image.macosx.x86_64_7.1.0.jar07-Jan-2016 13:32 74M 
[   ]acl2_image.win32.x86_7.1.0.jar07-Jan-2016 13:33 73M 
[   ]acl2_image.win64.x86_64_7.1.0.jar07-Jan-2016 13:33 73M 
[   ]acl2s-lib.jar22-Jan-2016 12:10 177K 
[   ]acl2s_1.1.8.1.jar22-Jan-2016 19:45 706K 
[   ]acl2s_hooks_1.1.8.1.jar22-Jan-2016 19:46 246K 
[   ]acl2s_modes_1.1.8.1.jar22-Jan-2016 19:46 513K 

Apache/2.2.14 (Ubuntu) Server at acl2s.ccs.neu.edu Port 80