Skip to content

Fix coq-insert-named-goal-selectors wrong type argument#868

Open
dhalilov wants to merge 1 commit into
ProofGeneral:masterfrom
dhalilov:fix-coq-insert-named-goal-selectors
Open

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

fix(coq): fix `coq-insert-named-goal-selectors`

243be28
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.