Diffusion Isabelle b0ad975cd25b

clarified JS namespace;
b0ad975cd25b
Actions

Tags

None

Subscribers

None

Description

clarified JS namespace;

Details

Provenance

Authored on

Parents

rISABELLEb01b0014c3f9: proper support for Windows;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb0ad975cd25b: clarified JS namespace;.Nov 12 2022, 5:21 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

rISABELLEb0ad975cd25b

src/Pure/System/nodejs.scala

Loading...

src/Pure/Tools/prismjs.scala

Loading...