Talk:ACL2

External links modified
Hello fellow Wikipedians,

I have just modified one external link on ACL2. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added archive https://web.archive.org/web/20120402203501/http://awards.acm.org/homepage.cfm?srt=all&awd=149 to http://awards.acm.org/homepage.cfm?srt=all&awd=149

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

Cheers.— InternetArchiveBot  (Report bug) 22:11, 23 June 2017 (UTC)