Chucky Ellison

the real Github markdown doesn't support footnotes, but this project does

2

Footnotes like ``` blah blah[^1] blah blah ... [^1]: Footnote ``` Are supported in jbt/markdown-editor, but they are (shamefully) not supported in the real github (https://github.com/github/markup/issues/498) When I wrote up...

problem using vscoq on windows 10 via wsl

1

I have a normal installation of VS Code on windows 10. I'd like to use the VsCoq extension. I have set up coq as per the installation instructions on wsl,...

doesn't support records?

1

As far as I can tell, this doesn't support records? Is that correct? I could only manage half a workaround; by using a custom "record" shape, and a manually encoded...

I've never used tau before, but decided to give it a shot today. In order to get it to work, I'm just including it in a test file and compiling,...

ability to set accesskey, or rebind save/open

1

I'm trying to use the query tool. I'm on windows, and I expect shortcuts to use `ctrl`, e.g., "save" should be `ctrl-s` and "open" should be `ctrl-o`. However, my "accesskey"...