Stream: VsCoq devs & users

Topic: Turn diff off


view this post on Zulip 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.

view this post on Zulip Maxime Dénès (May 27 2020 at 07:53):

Isn't there a coq option to disable it?

view this post on Zulip Théo Zimmermann (May 27 2020 at 07:58):

I thought VSCoq diffs were not linked to the Diffs option of Coq.

view this post on Zulip 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: Mar 28 2024 at 12:01 UTC