Diffusion Isabelle 21c1f82e7f5d

support for dynamic classpath from exports;
21c1f82e7f5d
Actions

Tags

None

Subscribers

None

Description

support for dynamic classpath from exports;

Details

Provenance

Authored on

Parents

rISABELLEc79df6dc2803: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE21c1f82e7f5d: support for dynamic classpath from exports;.Jul 26 2022, 4:38 PM

makarius mentioned this in rISABELLE953953504590: update documentation, following 21c1f82e7f5d;.Jul 26 2022, 8:36 PM

Changes (2)

Path

Size

src/

Pure/

System/

isabelle_system.scala

Thy/

document_build.scala

rISABELLE21c1f82e7f5d

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Thy/document_build.scala

Loading...