Diffusion Isabelle 6b29b37de52e

updated vscode extension: proper recoding;
6b29b37de52e
Actions

Tags

None

Subscribers

None

Description

updated vscode extension: proper recoding;

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLE4c3115f94b6e: tuned vscode extension;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLE6b29b37de52e: updated vscode extension: proper recoding;.Feb 23 2022, 11:24 PM

Changes (2)

Path

Size

src/

Tools/

VSCode/

extension/

src/

isabelle_filesystem/

rISABELLE6b29b37de52e

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

Loading...

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

Loading...