Stream: Coq users

Topic: Trouble saving scratchpad

view this post on Zulip Matthew Knepley (Feb 16 2022 at 18:22):

I have just begun using JsCoq. None of the file saving keystrokes seem to work, either on Chrome or Safari (I am using a Mac). The one thing that does work is Shift+Command+S, which allows me to set the file name, but no Save dialog comes up for any others.

Thanks, Matt

Last updated: Sep 28 2023 at 11:01 UTC