acl2/acl2 — pull request #315 by jaredcdavis (2014-11-25 02:33:12+00:00)
Title: Sidekick

Move sidekick out of my github, into books/projects/