Diffusion Isabelle 6369151119ee

more robust: avoid breakdown of Search dialog;
6369151119ee
Actions

Tags

None

Subscribers

None

Description

more robust: avoid breakdown of Search dialog;

Details

Provenance

Authored on

Parents

rISABELLE72112cf37bf7: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6369151119ee: more robust: avoid breakdown of Search dialog;.Mar 11 2022, 2:02 PM

Changes (2)

Path

Size

src/

Tools/

VSCode/

extension/

src/

vscode_setup.scala

rISABELLE6369151119ee

src/Tools/VSCode/extension/package.json

Loading...

src/Tools/VSCode/src/vscode_setup.scala

Loading...