ott(1) on Linux
The text 6ceda514881b, as Debian 12 (Bookworm) shipped it.
manual page for Ott version 0.32 distribution of Wed 9 Mar 16:05:28 GMT 2022
Flags it lists
-
--help -
-alltt -
-aux_style_rules -
-colour -
-coq_avoid -
-coq_expand_list_types -
-coq_filter -
-coq_lngen -
-coq_names_in_rules -
-coq_use_filter_fn -
-dot -
-fast_parse -
-generate_aux_rules -
-help -
-hol_filter -
-i -
-isa_filter -
-isa_generate_lemmas -
-isa_syntax -
-isabelle_inductive -
-isabelle_primrec -
-lem_debug -
-lem_filter -
-merge -
-no_rbcatn -
-o -
-ocaml_filter -
-ocaml_include_terminals -
-ocaml_pp -
-ocaml_pp_ast_module -
-ocaml_pp_json -
-output_source_locations -
-parse -
-picky_multiple_parses -
-pp_grammar -
-process_defns -
-quotient_rules -
-readsys -
-show_defns -
-show_sort -
-showraw -
-signal_parse_errors -
-sort -
-tex_colour -
-tex_filter -
-tex_name_prefix -
-tex_show_categories -
-tex_show_meta -
-tex_suppress_category -
-tex_suppress_ntr -
-tex_wrap -
-ugly -
-writesys