Diffusion Isabelle 8dd7f0130266

tuned vscode extension: split isabelle fsp into workspace and mapping;
8dd7f0130266
Actions

Description

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

Details

Provenance

Fabian Huch <huch@in.tum.de>

Authored on

Parents

rISABELLEc04ccea8bdd2: update VSCode plugin dependencies;

Branches

Unknown

Tags

Unknown

Event Timeline

Fabian Huch <huch@in.tum.de> committed rISABELLE8dd7f0130266: tuned vscode extension: split isabelle fsp into workspace and mapping;.Feb 23 2022, 10:12 PM

Changes (13)

Path

Size

	isabelle_workspace.ts
	isabelle_fsp.ts

mapping_fsp.ts

library.ts

output_view.ts

rISABELLE8dd7f0130266

View Options

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

View Options

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

View Options

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

View Options

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

View Options

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

View Options

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

View Options

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

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

Description

Details

Event Timeline

Changes (13)

rISABELLE8dd7f0130266

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

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

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

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

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

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

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

tuned vscode extension: split isabelle fsp into workspace and mapping;
8dd7f0130266
Actions