set_color_printer : bool -> unit
- SYNOPSIS
-
Installs or uninstalls color printers.
- DESCRIPTION
-
The call set_color_printer b installs color pretty printers
pp_print_colored_qterm, pp_print_colored_qtype, pp_print_colored_thm,
pp_print_colored_goal and pp_print_colored_goalstack if b is true.
If b is false, it installs pretty printers that do not use colors.
- FAILURE CONDITIONS
-
Should never fail.