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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/7d4d8871-9802-41cf-bc0c-d766fc64a341n%40googlegroups.com.