Stream: VsCoq devs & users

Topic: Mac key bindings


view this post on Zulip Bas Spitters (Aug 30 2021 at 13:23):

My students tell me that vscoq has windows key bindings on the mac.
I assume there is a standard fix for this. :-)

view this post on Zulip Bas Spitters (Aug 30 2021 at 13:25):

Incidentally, my 30 students are using Win/linux/Mac in equal shares, but the majority (80%) is using vscode.


Last updated: Jan 30 2023 at 18:04 UTC