4 Dec
2007
4 Dec
'07
2:52 a.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