mathlib

2987a496 - fix(tactic/core): use eval_pexpr in run_parser_cmd (#4761)

fix(tactic/core): use eval_pexpr in run_parser_cmd (#4761) Continuation of #4745, see https://github.com/leanprover-community/mathlib/pull/4745#discussion_r510771137 Co-authored-by: Gabriel Ebner <gebner@gebner.org>