CJ Bell

@vinhkhuc the training command I gave above was in error; it should be: ``` ft.runCmd("supervised -input dbpedia.train -output dbpedia -minCount 5 -wordNgrams 2 -bucket 2000000 -lr, 0.05 -dim 100 -epoch...

system info: macOS Sierra; version 10.12.4; 16 GB memory

see https://github.com/siegebell/vsc-prettify-symbols-mode/wiki/Coq

@chantisnake what do you think? Also, feel free to edit https://github.com/siegebell/vsc-prettify-symbols-mode/wiki/Coq with more symbols. If/when I implement this feature, I will try to keep it up to date with the...

@jonleivent when 0.2.6 is released, you can set `coq.hacks.userSettingsLocation` to a directory that won't be overwritten when the extension is updated. `proof-view.css` will be stored in this directory, if specified....

Instead of (hopefully...)

... currently blocked by vscode; e.g. Microsoft/vscode#571, Microsoft/vscode#564. Creating a terminal could be a hackish way to get colored output, but getting it to work across platforms would be challenging....

blocked on Microsoft/vscode#15513

That's no good! (I always use F1, but I don't think that works for everyone and Atom users are probably expecting ctrl/cmd+shift+P.)

*proposed option: `"coq.autoAdvanceFocus": true`* Causes the focus to advance forward when the user completes a sentence (types `.`, followed by a whitespace character (space, tab, or newline; not a comment),...