Diffusion Isabelle 249e900cc05f

updated to vscode 1.65.2;
249e900cc05f
Actions

Tags

None

Subscribers

None

Description

updated to vscode 1.65.2;

Details

Provenance

Authored on

Parents

rISABELLEfab9b0bd9715: proper result check;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE249e900cc05f: updated to vscode 1.65.2;.Mar 15 2022, 1:13 PM

Changes (3)

Path

Size

src/

Tools/

VSCode/

etc/

extension/

rISABELLE249e900cc05f

src/Tools/VSCode/etc/settings

Loading...

src/Tools/VSCode/extension/package.json

Loading...

src/Tools/VSCode/extension/yarn.lock

Loading...