Xavier Ripoll

Hi, I am having the same issue. ``` ------------------------------------- Translated Report (Full Report Below) ------------------------------------- Process: coqide.exe [85746] Path: /Applications/Coq-Platform~8.15~2022.04.app/Contents/Resources/bin/coqide.exe Identifier: coqide.exe Version: ??? Code Type: X86-64 (Native) Parent Process:...

Update: error persists after uninstalling prepackaged CoqIDE and reinstalling from sources. ``` ------------------------------------- Translated Report (Full Report Below) ------------------------------------- Process: coqide [57852] Path: /Users/USER/*/coqide Identifier: coqide Version: ??? Code Type:...

> Well possibly that's the issue then. Can you check if you have a coqiderc file somewhere? `-rw-r--r-- 1 xaviripo staff 2825 Jun 2 17:10 /System/Volumes/Data/Users/xaviripo/.config/coq/coqiderc` Contents: ``` auto_complete =...

> OK, and what happens if you delete this file? Same behavior. Also the program does not recreate the file.

I ran `coqide -debug 2> coqide.log` as the messages panel said it was just logging to `stderr`. coqide.log: ``` (Spawn ,49229) EXEC: coqidetop.opt -main-channel stdfds --xml_format=Ppcmds -async-proofs on (Spawn ,49229)...

@aoberoi I for one look forward to using this SDK with Deno. The use cases for Deno are mostly the same as Node, given that it's supposed to be a...

I went and updated the most important fields that were previously CDATA, some new AttrDefs were added in order to do so.

I'd like to bump this. It would make stickers much more useful in my opinion (e.g. helping to quickly visually recognize a note for example).