Diffusion Isabelle c5da08c5b01b

support console output, e.g. "isabelle vscode -C -- --help";
c5da08c5b01b
Actions

Tags

None

Subscribers

None

Description

support console output, e.g. "isabelle vscode -C -- --help";

Details

Provenance

Authored on

Parents

rISABELLE4ce0a4d90dfa: run Isabelle/VSCode via Scala;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc5da08c5b01b: support console output, e.g. "isabelle vscode -C -- --help";.Mar 22 2022, 1:05 PM

Changes (1)

Path

Size

src/

Tools/

VSCode/

src/

vscode_main.scala

rISABELLEc5da08c5b01b

src/Tools/VSCode/src/vscode_main.scala

Loading...