kili 72c6b12f41 Remove postscript and pdf documentation. ...

ok dcoppa@

2013-12-12 22:13:37 +00:00

..

DESCR-doc

…

DESCR-main

Update to 6.12.2.

2010-04-22 21:49:37 +00:00

PLIST-doc

Remove postscript and pdf documentation.

2013-12-12 22:13:37 +00:00

PLIST-main

Update to ghc-7.6.3, revert my last two obsolete changes and

2013-07-18 21:43:23 +00:00