WATERFALL-PRINTING

for ACL2(p): configuring the printing within the parallelized waterfall
Major Section:  PARALLELISM

See set-waterfall-printing.