Diffusion Isabelle 07781cae0f71

support for jar resources;
07781cae0f71
Actions

Tags

None

Subscribers

None

Description

support for jar resources;

Details

Provenance

Authored on

Parents

rISABELLEb5d52a4d6fd9: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE07781cae0f71: support for jar resources;.Jul 2 2021, 12:12 PM

Changes (1)

Path

Size

src/

Tools/

Setup/

isabelle/

setup/

Build_Scala.java

rISABELLE07781cae0f71

src/Tools/Setup/isabelle/setup/Build_Scala.java

Loading...