Enrico Tassi (May 26 2020 at 13:26): Enrico Tassi (May 26 2020 at 13:26):Is there a way? My goal windows shows diffs, but I could not find a way to turn this off.
Maxime Dénès (May 27 2020 at 07:53):Isn't there a coq option to disable it?
Théo Zimmermann (May 27 2020 at 07:58):I thought VSCoq diffs were not linked to the Diffs option of Coq.
Enrico Tassi (May 27 2020 at 11:47):Unless the diff is a recent addition, vscoq was created way before we had diffs in Coq IIRC
Last updated: Jun 04 2023 at 23:30 UTC