Diffusion Isabelle b219774a71ae

tuned signature -- more explicit types;
b219774a71ae
Actions

Tags

None

Subscribers

None

Description

tuned signature -- more explicit types;

Details

Provenance

Authored on

Parents

rISABELLEa6ca869af096: more robust and uniform ISABELLE_TAGS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb219774a71ae: tuned signature -- more explicit types;.Mar 31 2021, 10:10 PM

Changes (8)

Path

Size

src/

Pure/

Admin/

build_history.scala

build_release.scala

other_isabelle.scala

General/

ML/

ml_statistics.scala

System/

isabelle_system.scala

Tools/

scala_project.scala

rISABELLEb219774a71ae

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...

src/Pure/General/path.scala

Loading...

src/Pure/ML/ml_statistics.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Tools/build.scala

Loading...

src/Pure/Tools/scala_project.scala

Loading...