Bump version ghc-7.4 ghc-7.4.1-release ghc-7.4.2-release hoopl-3.8.7.3-release
-rw-r--r-- 208 .gitignore
-rw-r--r-- 5292 CHANGES
-rw-r--r-- 860 FAQ
-rw-r--r-- 1684 LICENSE
-rw-r--r-- 2043 PROBLEMS
-rw-r--r-- 777 README
-rw-r--r-- 46 Setup.hs
-rw-r--r-- 2277 hoopl.cabal
-rw-r--r-- 279781 hoopl.pdf
drwxr-xr-x - paper
drwxr-xr-x - private
drwxr-xr-x - prototypes
drwxr-xr-x - src
drwxr-xr-x - testing
-rwxr-xr-x 65 validate