- let st = aux (initial_status !summary) book in
- if !summary > 0 then Time.utime_stamp "processed";
- if !summary > 2 then AO.print_counters Cps.start st.ac;
- if !summary > 2 && !stage > 0 then MO.print_counters Cps.start st.mc;
- if !summary > 2 && !stage > 1 then BrgO.print_counters Cps.start st.brgc;
+ let st = aux initial_status book in
+ if !L.level > 0 then Time.utime_stamp "processed";
+ if !L.level > 2 then AO.print_counters C.start st.ac;
+ if !L.level > 2 && !stage > 0 then MO.print_counters C.start st.mc;
+ if !L.level > 2 && !stage > 1 then BagO.print_counters C.start st.bagc;
+ in
+ let help =
+ "Usage: helena [ -Vin | -Ss <number> | -m <file> | -h <string> ] <file> ...\n\n" ^
+ "Summary levels: 0 just errors, 1 time stamps, 2 processed file names, \
+ 3 data information, 4 typing information, 5 reduction information\n\n" ^
+ "Stages: 0 parsing, 1 to intermediate, 2 to untrusted, 3 to trusted\n"