summaryrefslogtreecommitdiff
path: root/cl-support/PORTING
Commit message (Expand)AuthorAgeFilesLines
* PORTING: Fix incorrect prelude compilation command.Ricardo Wurmus2016-12-241-1/+1
* Import to github.Yale AI Dept1993-07-141-0/+105