Diffusion Isabelle 4c3115f94b6e

tuned vscode extension;
4c3115f94b6e
Actions

Tags

None

Subscribers

None

Description

tuned vscode extension;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLE8dd7f0130266: tuned vscode extension: split isabelle fsp into workspace and mapping;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLE4c3115f94b6e: tuned vscode extension;.Feb 23 2022, 11:17 PM

Changes (3)

Path

Size

src/

Tools/

VSCode/

extension/

src/

isabelle_filesystem/

isabelle_workspace.ts

rISABELLE4c3115f94b6e

src/Tools/VSCode/extension/src/extension.ts

Loading...

src/Tools/VSCode/extension/src/isabelle_filesystem/isabelle_workspace.ts

Loading...

src/Tools/VSCode/extension/src/isabelle_filesystem/mapping_fsp.ts

Loading...