Go to file
Matthew Flatt d09828a019 reduce some memory use of `unstable' doc build
by explicitly closing evaluators

original commit: c916e99af584a6db57c33fe06726435a8422b485
2010-12-28 20:55:32 -07:00
collects reduce some memory use of `unstable' doc build 2010-12-28 20:55:32 -07:00