Romain Tetley
Romain Tetley
I honestly don't have an opinion. Is it important to keep both options ?
That's a good point. Unfortunately I think currently those spaces would be interpreted as being part of the ```tac2``` command. I have to check particulars.
> Hello, I am curious about a point : I have an apple sillicon, but if I had an Intel one, which method should I pick ? At this stage,...
Weird, this seems to work for me on my M2 with Homebrew, macOS 13.4.1, zsh... Maybe it is macOS version specific ? I could update and try again afterwards ?...
I believe I do
I can reproduce it indeed. However the error that is produced after correcting is not the same ! So I don't believe it's a shift, the system detects a new...
Could you provide an example file where this happens ?
I believe this is the same problem as #1009 and was fixed by https://github.com/coq/vscoq/pull/1021. Next release is imminent !
This will be done with a "walkthrough" contribution. Following inspiration from the lean page I think we should have: - [x] First and foremost, an indication on how to get...
I mean I don't think it would be too much effort creating a snippet that creates a new project. But can any of you help me with how that would...