Diffusion Isabelle 73034d385688

updated vscode_extension;
73034d385688
Actions

Tags

None

Subscribers

None

Description

updated vscode_extension;

Details

Provenance

Authored on

Parents

rISABELLE28d2cb99b37f: added parentheses in TPTP output -- seem necessary for some provers

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE73034d385688: updated vscode_extension;.Mar 25 2022, 1:25 PM

makarius mentioned this in Blog Post: Isabelle/VSCode as bundled application.Mar 25 2022, 1:37 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Tools/

VSCode/

extension/

rISABELLE73034d385688

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Tools/VSCode/extension/README.md

Loading...