Age | Commit message (Expand) | Author |
---|---|---|
2017-11-04 | sbcl: remove old versions 1.2.0, 1.3.12 | Keshav Kini |
2015-10-20 | sbcl: remove duplicate --core argument | Tomas Hlavaty |
2015-02-12 | sbcl_1_2_0: port over joelteon's change to 1.2.8 | John Wiegley |
2014-12-26 | Change occurrences of gcc to the more general cc | John Wiegley |
2014-09-04 | Fix ACL2 | Michael Raskin |