Diffusion Isabelle e641ac92b489

more formal extension_manifest, with shasum for sources;
e641ac92b489
Actions

Tags

None

Subscribers

None

Description

more formal extension_manifest, with shasum for sources;

Details

Provenance

Authored on

Parents

rISABELLE5960bae73afe: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe641ac92b489: more formal extension_manifest, with shasum for sources;.Mar 23 2022, 1:05 PM

Changes (3)

Path

Size

src/

Pure/

General/

Tools/

VSCode/

src/

build_vscode_extension.scala

vscode_main.scala

rISABELLEe641ac92b489

src/Pure/General/path.scala

Loading...

src/Tools/VSCode/src/build_vscode_extension.scala

Loading...

src/Tools/VSCode/src/vscode_main.scala

Loading...