Stream: Coq users

Topic: ✔ coq plugin

view this post on Zulip Julin S (Jul 06 2022 at 06:06):

I think this error may have been due to a space in the path to files.

It worked fine when there was no space.

view this post on Zulip Notification Bot (Jul 06 2022 at 06:06):

Julin S has marked this topic as resolved.

Last updated: Jan 29 2023 at 01:02 UTC