Romain Tetley
Romain Tetley
This breakage concerns the [~8.19~2024.01+beta1](https://github.com/coq/platform/tree/main/package_picks/package-pick-8.19~2024.01+beta1.sh) pick
I used the ```src/riscv/Examples/Fib.v``` file. If this is alright could you please close this issue ?
Hi, thanks for reporting ! Could you give me more context ? Like what file (if you have an example file it would be perfect) you are using and what...
Ah okay ! To be honest I am not sure using continuous mode will ever be viable on a very large file. Each time you make an edit it will...
Hey @julesjacobs, have the latest releases improved this issue ? Could you give some feedback ?
Hey @alpaylan, you'll be happy to know that PP in the query panel will make the next release (following https://github.com/coq-community/vscoq/pull/861). Cheers !
I think we are good to go. @gares ?
Hi and thanks for reporting ! Coud you give me an example to work with ? As far as I remember we had fixed the formatting issues when we switched...
This is still not solved with the new pretty printing library, and is related to #835
Hey @joscoh ! I agree this is a problem. I am working on a fix which would discard the document state / edits when you close a file but that...