Eugene Loy

Getting name of downloaded file.

1

Hi. I am using `download` to download flies like this: await download(url, destination) I am aware that one can specify filename by passing extra options, however, in my situation I...

Improve support for JupyterLab

2

TBD Follow up on: https://coq.discourse.group/t/jupyter-kernel-for-coq/256/2

Followup for discussion started in #28. TODO

Followup for discussion started in #28. Relevant quotes: > One remark for possible future work is that since you are using the XML protocol, it should be possible (in theory,...

Might be useful to access (browse code, rollback) deleted cells.

For some reason on newer versions of tornado tests fail to start properly. Tests work fine with 'tornado==5.1.1'. Investigate this issue. Reference: https://travis-ci.com/EugeneLoy/coq_jupyter/builds/102855885

Improve code highlighting (CodeMirror mode)

1

Vernacular and tactics seem a bit out of date.

It might be a good idea to partly reuse CodeMirror mode (see: #19).

Add "encoding" and "codec_errors" arguments to "spawn"

2

**Is your feature request related to a problem? Please describe.** I am trying to add windows support to my [project](https://github.com/EugeneLoy/coq_jupyter) and encoding-related args of `spawn` are not implemented. To be...