3 Dec
2007
3 Dec
'07
6:52 p.m.
Am Montag, 3. Dezember 2007 13:38 schrieben Sie:
[…]
I just thought it would be nice to have all installed libraries together because that would facilitate deciding whether I use something from the containers package, or the collections package or edison.
Do you mean you want a combined contents page and a combined index? Then have a look at libraries/gen_contents_index in the GHC 6.8.1 source tarball. You might want to reuse this script.
[…]
Best wishes, Wolfgang