Diffusion Isabelle cba1da393958

more accurate Files.isRegularFile, exclude directories (e.g. jar_path);
cba1da393958
Actions

Tags

None

Subscribers

None

Description

more accurate Files.isRegularFile, exclude directories (e.g. jar_path);

Details

Provenance

Authored on

Parents

rISABELLEd912c1b6c1d0: proper java_version for isabelle_setup;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEcba1da393958: more accurate Files.isRegularFile, exclude directories (e.g. jar_path);.Nov 9 2021, 11:23 AM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Tools/

Setup/

src/

rISABELLEcba1da393958

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Tools/Setup/src/Build.java

Loading...