Diffusion Isabelle a69197959ab6

auto-update due to "isabelle build_vscode";
a69197959ab6
Actions

Tags

None

Subscribers

None

Description

auto-update due to "isabelle build_vscode";

Details

Provenance

Authored on

Parents

rISABELLEf800f8becbfb: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa69197959ab6: auto-update due to "isabelle build_vscode";.Apr 7 2021, 6:05 PM

Changes (1)

Path

Size

src/

Tools/

VSCode/

extension/

rISABELLEa69197959ab6

src/Tools/VSCode/extension/package.json

Loading...