Hi Felix
do you know if there are any issues in installing LeoInteg with VScodium
(https://github.com/VSCodium/vscodium,build of VSCode without tracking etc.
)?
I am very much a novice with VSCode/Vscodium; I tried CTRL+P and
"ext install boltex.leointeg", but get an error "Server returned 500"
I have successfully installed a couple of VSCode plugins to VSCode, but I
don't know how much can be assumed...
Thanks very much, J^n
On Wednesday, September 28, 2022 at 10:55:20 AM UTC+1 Edward K. Ream wrote:
> On Tuesday, September 27, 2022 at 10:39:46 PM UTC-5 Félix wrote:
>
> ...The biggest LeoInteg update ever!
>>
>
> Congratulations! vs-code updated leoInteg automagically. Everything looks
> good.
>
> I am going to try leoInteg for my study of ocaml and mypy.
>
> Edward
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/7d4d8871-9802-41cf-bc0c-d766fc64a341n%40googlegroups.com.
