Diffusion Isabelle dbe4fc13a0e9

omit somewhat pointless integrity check;
dbe4fc13a0e9
Actions

Tags

None

Subscribers

None

Description

omit somewhat pointless integrity check;

Details

Provenance

Authored on

Parents

rISABELLEddc7a6fc7c2d: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdbe4fc13a0e9: omit somewhat pointless integrity check;.Mar 25 2022, 4:40 PM

Changes (1)

Path

Size

src/

Tools/

VSCode/

src/

vscode_main.scala

rISABELLEdbe4fc13a0e9

src/Tools/VSCode/src/vscode_main.scala

Loading...