vscoq icon indicating copy to clipboard operation
vscoq copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Cannot backtrack over Require Import with Go to Point

Open tchajed opened this issue 4 months ago • 4 comments

If you process a Require Import, you can backtrack over it with Step Backward, but not with Go to Point.

tchajed avatar Sep 27 '24 12:09 tchajed