Diffusion Isabelle 8f6b8a46f54c

clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);
8f6b8a46f54c
Actions

Description

clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);

Details

Provenance

makarius

Authored on

Parents

rISABELLEc05f0e8a54de: misc tuning, based on suggestions by IntelliJ IDEA;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE8f6b8a46f54c: clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);.Mar 3 2022, 4:46 PM

Changes (14)

Path

Size

isabelle_filesystem/

isabelle_workspace.ts

workspace_state.ts

	lsp.ts
	protocol.ts

src/

rISABELLE8f6b8a46f54c

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_workspace.ts

View Options

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

View Options

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

View Options

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

View Options

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

View Options

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

View Options

src/Tools/VSCode/src/lsp.scala

clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);8f6b8a46f54cActions

Description

Details

Event Timeline

Changes (14)

rISABELLE8f6b8a46f54c

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

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

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

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

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

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

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

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

src/Tools/VSCode/src/lsp.scala

clarified modules: more uniform .scala vs. ts (amending 4519eeefe3b5);
8f6b8a46f54c
Actions