windsteiger
commented
11 years ago Popup menus are afaik not available in Mathematica GUI programming. Too bad, I found them useful also for other things. In any case, I think/hope they would be available in future versions of Mathematica. Whether prover config is a candidate for being available in that form, I'm unsure, I'll keep an eye on it to see, what I really want when working in the proof tree inspector. I may well be, that's it something completely different that one wants to have when going through a proof
Make prover configuration (which rules to apply at all, which priorities) accessible from proof inspection tree. (Maybe via a popup window.)