Print full goal names in RocqIDE#21879

yannl35133 wants to merge 1 commit intorocq-prover:masterrocq-prover/rocq:masterfrom

Yann-Leray:ide-goal-namesYann-Leray/coq:ide-goal-namesCopy head branch name to clipboard