set chatter 1
Timers.reset
OS.chDir examples-twelf-orig/

reset
make arith/sources.cfg
reset
make alloc-sem/sources.cfg
reset
make ccc/sources.cfg
reset
make church-rosser/sources.cfg
reset
make cpsocc/sources.cfg
reset
make compile/cls/sources.cfg
reset
make compile/cpm/sources.cfg
reset
make compile/debruijn/sources.cfg
reset
make compile/debruijn1/sources.cfg
reset
make compile/cps/sources.cfg
reset
make cut-elim/sources.cfg
reset
make fol/sources.cfg
reset
make handbook/sources.cfg
reset
make kolm/sources.cfg
reset
make lp/sources.cfg
reset
make lp-horn/sources.cfg
reset
make mini-ml/sources.cfg
reset
make prop-calc/sources.cfg
Timers.show
reset

