Diffusion Isabelle e2aa3c1f90a1

provide Isabelle/Electron test;
e2aa3c1f90a1
Actions

Tags

None

Subscribers

None

Description

provide Isabelle/Electron test;

Details

Provenance

Authored on

Parents

rISABELLE7095df141819: tuned text;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe2aa3c1f90a1: provide Isabelle/Electron test;.May 11 2022, 9:53 AM

Changes (7)

Path

Size

rISABELLEe2aa3c1f90a1

NEWS

Loading...

src/Tools/Electron/test/main.js

Loading...

src/Tools/Electron/test/package.json

Loading...