CJ Bell

Maven central repository

21

Your main page says that moving to the central repository is a ["work in progress"](https://issues.sonatype.org/browse/OSSRH-7501), but the request has been accepted for a while now (almost *4 years*) and is...

SIGSEGV on getWords after training

5

Using the [example training data](https://github.com/le-scientifique/torchDatasets/raw/master/dbpedia_csv.tar.gz) (and preprocessing it using the classification-example.sh script that comes with fasttext), I get a SIGSEGV when calling `getWords` after training. Training: `ft.runCmd("supervised -input dbpedia.train -output...

customized proof-view.css is overwritten by updating the extension

3

Updating vscoq causes user-customizations to proof-view.css to be overwritten. Possible resolutions: 1. Store proof-view.css in the workspace-settings folder. This means that it will be specific to one project and would...

Create an easier way to add common Coq pretty symbols

3

There are many possible pretty symbols users may want to enable, and it would be nice if they could easily pick & choose from the common ones (see [vsc-prettify-symbols-mode](https://github.com/siegebell/vsc-prettify-symbols-mode)). On...

hard to read errors in light themes

command to comment all sentences that overlap with the current selection(s).

Investigate activating the extension when _CoqProject is found in the workspace root. Does this improve startup performance?

output info/notices in color

1

display the results of idtac and other messages using colors assigned to the richpp scopes returned by coqtop.