Stream: VsCoq devs & users

Topic: Mac key bindings

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. :-)

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: Jun 04 2023 at 22:30 UTC