Brian Milnes

And if you're going to fix that printing, you could print the mismatched types in alignment to each other to make the difference simpler to understand, or even print a...

Intended limitation of the parser, so we close this? Or leave this open to remind someone to adjust the parser someday (very low priority then as there are two workarounds).

Clement, I'll try it today. I think that basically I need to launch emacs from within a python virtual environment, which produces and emacs with all of the text grayed...

Clement, pip install docutils works when you also put /home/milnes/.local/bin on PATH. So a small comment should be added in the README.md. Also c-c c-r should say reloads the buffer...

Clement, Well I found the trace flags and turned it on but had no idea what to try. And page up and down did page up and down. The user...

Clement, Thanks. BTW, [@@@ ... ] does not work on a reload either. Makes the interface a bit choppy for a newb like myself. Thanks, Brian On Wed, Mar 22,...

Clement, It just says "cannot use syntax checker fstar in this buffer". Interesting you'd ask, Brian On Mon, Mar 20, 2023 at 4:02 PM Clément Pit-Claudel < ***@***.***> wrote: >...

Clement, Shall I fix it for you? Thanks, Brian On Fri, Mar 24, 2023, 12:07 AM Clément Pit-Claudel ***@***.***> wrote: > Ah, right because it's using the server. That's a...