On Mon, 19 Jun 2006 at 3:28pm, Matt Bernstein wrote
Please can the default maxima be increased for the tape, to whatever this list thinks is wise?
Patches welcome. In the meantime, re-compiling is dead easy. ISTR that there *is* an effort (or at least a desire) to move away from configure-time configuration, but there's also a lot of intertia. :)
Please can it be possible to specify custom arguments to dump and its friends?
Currently possible with some clever scripting, and on the TODO list for the dumper API (or whatever it's called these days).
-- Joshua Baker-LePain Department of Biomedical Engineering Duke University
