Diffusion Isabelle 4f1c1c7eb95f

back to post-release mode;
4f1c1c7eb95f
Actions

Tags

None

Subscribers

None

Description

back to post-release mode;

Details

Provenance

Authored on

Parents

rISABELLEc60fa7a116b7: updated for release;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4f1c1c7eb95f: back to post-release mode;.Nov 12 2021, 6:47 PM

Changes (4)

Path

Size

src/

Tools/

VSCode/

extension/

rISABELLE4f1c1c7eb95f

CONTRIBUTORS

Loading...

NEWS

Loading...

src/Tools/VSCode/extension/README.md

Loading...

src/Tools/VSCode/extension/package.json

Loading...