Index of /acl2s/update/plugins

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]acl2_image.linux.x86_7.0.0.jar02-Feb-2015 14:16 55M 
[   ]acl2_image.linux.x86_64_7.0.0.jar02-Feb-2015 16:00 57M 
[   ]acl2_image.macosx.x86_7.0.0.jar02-Feb-2015 14:16 55M 
[   ]acl2_image.macosx.x86_64_7.0.0.jar02-Feb-2015 14:16 56M 
[   ]acl2_image.win32.x86_7.0.0.jar02-Feb-2015 14:17 83M 
[   ]acl2_image.win64.x86_64_7.0.0.jar02-Feb-2015 14:17 59M 
[   ]acl2s_1.1.7.1.jar05-Feb-2015 11:51 706K 
[   ]acl2s_hooks_1.1.7.1.jar05-Feb-2015 11:51 246K 
[   ]acl2s_modes_1.1.7.1.jar05-Feb-2015 11:51 501K 

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