Diffusion Isabelle 2590980401b0

proper treatment of tar.gz double-extension;
2590980401b0
Actions

Tags

None

Subscribers

None

Description

proper treatment of tar.gz double-extension;

Details

Provenance

Authored on

Parents

rISABELLEc9e1276f0268: proper download, instead of assuming local directory;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2590980401b0: proper treatment of tar.gz double-extension;.Nov 25 2022, 8:17 PM

Changes (2)

Path

Size

src/

Pure/

General/

System/

isabelle_system.scala

rISABELLE2590980401b0

src/Pure/General/file.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...