Fix coq-insert-named-goal-selectors wrong type argument#868
Open
dhalilov wants to merge 1 commit intoProofGeneral:masterfrom
Open
Fix coq-insert-named-goal-selectors wrong type argument#868dhalilov wants to merge 1 commit intoProofGeneral:masterfrom
coq-insert-named-goal-selectors wrong type argument#868dhalilov wants to merge 1 commit intoProofGeneral:masterfrom
