Diffusion Isabelle 429c1ffb5a36

proper treatment of leading zero;
429c1ffb5a36
Actions

Tags

None

Subscribers

None

Description

proper treatment of leading zero;

Details

Provenance

Authored on

Parents

rISABELLE07781cae0f71: support for jar resources;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE429c1ffb5a36: proper treatment of leading zero;.Jul 2 2021, 12:17 PM

Changes (1)

Path

Size

src/

Tools/

Setup/

isabelle/

setup/

Build_Scala.java

rISABELLE429c1ffb5a36

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

Loading...