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