✐‹creator "Kevin Kappelmann"› section ‹Output Styles› theory SpecCheck_Output_Style imports SpecCheck_Base SpecCheck_Show begin paragraph ‹Summary› text ‹Output styles for SpecCheck take the result of a test run and process it accordingly, e.g. by printing it or storing it to a file.› ML_file ‹output_style_types.ML› ML_file ‹output_style_perl.ML› ML_file ‹output_style_custom.ML› ML_file ‹output_style.ML› end