Currently, the following command: raco make collects/scribblings/tools/tool-lib-extract.rkt
rapidly consumes all available memory, and has to be killed manually. -- sam th sa...@ccs.neu.edu _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
