run Isabelle/VSCode via Scala;
4ce0a4d90dfa
Actions

Description

run Isabelle/VSCode via Scala;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (11)

Path

Size

etc/

Pure/

System/

rISABELLE4ce0a4d90dfa

etc/build.props

lib/Tools/vscode

src/Pure/System/isabelle_tool.scala

src/Tools/VSCode/src/vscode_main.scala

src/Tools/VSCode/src/vscode_setup.scala

run Isabelle/VSCode via Scala;4ce0a4d90dfaActions

Description

Details

Changes (11)

rISABELLE4ce0a4d90dfa

etc/build.props

lib/Tools/vscode

src/Pure/System/isabelle_tool.scala

src/Tools/VSCode/src/vscode_main.scala

src/Tools/VSCode/src/vscode_setup.scala

run Isabelle/VSCode via Scala;
4ce0a4d90dfa
Actions