Thanks Felix, useful info about the server.
I think I installed an earlier version 'directly' like you suggest here,
but thought I'd try the 'seamless' method this time round.
Happy to give it another go!
Regard,s J^n
On Thursday, September 29, 2022 at 1:44:30 AM UTC+1 Félix wrote:
> There w
There were problems with microsoft's server last night, so you might want
to retry this.
Also, you can download the extension itself
t https://marketplace.visualstudio.com/items?itemName=boltex.leointeg
use the link on the right (see below "Download Extension")
[image: Screenshot from 2022-09-
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 50
*On creating a shortcut to the .leo configuration directory. *This applies
to Windows 10; I have yet to test it on Windows 11.
To create a shortcut to the hidden "configuration directory" in one's home
folder, configure File Explorer to show hidden files, right-click on the
*.leo* folder in on
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