summaryrefslogtreecommitdiff
path: root/docs/core-spec/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Update Makefile in docs/core-spec not to use latexmkRichard Eisenberg2013-04-241-1/+1
* Added GHC formalism to the GHC source tree.Richard Eisenberg2012-12-011-0/+17