let pp_environment fmt env =
  Format.fprintf fmt
    "%s@\n  Proof Environment %s@\n%s@\n@\n%a"
    bar (String.capitalize env) bar 
    Command.pp_from_file (file_for_ctxt ~env)