Diffusion Isabelle fab9b0bd9715

proper result check;
fab9b0bd9715
Actions

Tags

None

Subscribers

None

Description

proper result check;

Details

Provenance

Authored on

Parents

rISABELLEb9dde91f9106: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfab9b0bd9715: proper result check;.Mar 15 2022, 1:11 PM

Changes (1)

Path

Size

src/

Tools/

VSCode/

src/

build_vscode_extension.scala

rISABELLEfab9b0bd9715

src/Tools/VSCode/src/build_vscode_extension.scala

Loading...