Diffusion Isabelle b75fefe1ddb5

tuned text, without update of component for now;
b75fefe1ddb5
Actions

Tags

None

Subscribers

None

Description

tuned text, without update of component for now;

Details

Provenance

Authored on

Parents

rISABELLEdbe4fc13a0e9: omit somewhat pointless integrity check;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb75fefe1ddb5: tuned text, without update of component for now;.Mar 25 2022, 4:41 PM

Changes (2)

Path

Size

src/

Tools/

VSCode/

extension/

rISABELLEb75fefe1ddb5

NEWS

Loading...

src/Tools/VSCode/extension/README.md

Loading...