Index of /acl2s/update/plugins

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]acl2_image.linux.x86_6.5.0.jar05-Sep-2014 15:49 91M 
[   ]acl2_image.linux.x86_64_6.5.0.jar05-Sep-2014 15:50 91M 
[   ]acl2_image.macosx.x86_6.5.0.jar05-Sep-2014 15:50 91M 
[   ]acl2_image.macosx.x86_64_6.5.0.jar05-Sep-2014 15:51 90M 
[   ]acl2_image.win32.x86_6.5.0.jar05-Sep-2014 15:52 129M 
[   ]acl2_image.win64.x86_64_6.5.0.jar05-Sep-2014 15:53 90M 
[   ]acl2s_1.1.6.0.jar24-Sep-2014 15:38 704K 
[   ]acl2s_hooks_1.1.6.0.jar24-Sep-2014 15:38 246K 
[   ]acl2s_modes_1.1.6.0.jar24-Sep-2014 15:38 497K 

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