Is there a way? My goal windows shows diffs, but I could not find a way to turn this off.
Isn't there a coq option to disable it?
I thought VSCoq diffs were not linked to the Diffs option of Coq.
Unless the diff is a recent addition, vscoq was created way before we had diffs in Coq IIRC
Last updated: Jan 30 2023 at 17:03 UTC