Diffusion Isabelle 9229f2681db7

clarified directory layout and settings: more robust on all platforms;
9229f2681db7
Actions

Tags

None

Subscribers

None

Description

clarified directory layout and settings: more robust on all platforms;

Details

Provenance

Authored on

Parents

rISABELLE249fde3aacbf: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9229f2681db7: clarified directory layout and settings: more robust on all platforms;.Mar 14 2022, 9:56 PM

Changes (5)

Path

Size

lib/

Tools/

src/

Tools/

VSCode/

extension/

src/

patches/

src/

build_vscodium.scala

rISABELLE9229f2681db7

lib/Tools/electron

Loading...

lib/Tools/vscode

Loading...

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

Loading...

src/Tools/VSCode/patches/cli.patch

Loading...

src/Tools/VSCode/src/build_vscodium.scala

Loading...