Diffusion Isabelle 39aa4d9e5559

clarified versions;
39aa4d9e5559
Actions

Tags

None

Subscribers

None

Description

clarified versions;

Details

Provenance

Authored on

Parents

rISABELLE3f24cc294d74: moved from AFP to distribution

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE39aa4d9e5559: clarified versions;.Apr 7 2022, 8:15 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

scala_project.scala

rISABELLE39aa4d9e5559

src/Pure/Tools/scala_project.scala

Loading...