WATERFALL-PRINTING
for ACL2(p): configuring the printing within the parallelized waterfall
Major Section:
PARALLELISM
See
set-waterfall-printing
.