incorporate build_grammar into build_vscode_extension;
9c72957e5c4a
Actions

Description

incorporate build_grammar into build_vscode_extension;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

etc/

Pure/

System/

rISABELLE9c72957e5c4a

etc/build.props

src/Pure/System/isabelle_tool.scala

src/Tools/VSCode/src/build_vscode_extension.scala

src/Tools/VSCode/src/textmate_grammar.scala

incorporate build_grammar into build_vscode_extension;9c72957e5c4aActions

Description

Details

Changes (8)

rISABELLE9c72957e5c4a

etc/build.props

src/Pure/System/isabelle_tool.scala

src/Tools/VSCode/src/build_vscode_extension.scala

src/Tools/VSCode/src/textmate_grammar.scala

incorporate build_grammar into build_vscode_extension;
9c72957e5c4a
Actions