Diffusion Isabelle df49ca5da9d0

clarified modules: more like ML;
df49ca5da9d0
Actions

Tags

None

Subscribers

None

Description

clarified modules: more like ML;

Details

Provenance

Authored on

Parents

rISABELLE8664433956b3: obsolete;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdf49ca5da9d0: clarified modules: more like ML;.Feb 27 2021, 6:04 PM

makarius mentioned this in rISABELLEa7d9edd2e63b: proper File.eq, amending df49ca5da9d0;.Feb 27 2021, 10:53 PM

makarius mentioned this in rISABELLEd045cdbdf243: proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);.Mar 1 2021, 3:42 PM

Changes (20)

Path

Size

src/

Pure/

Admin/

build_csdp.scala

build_fonts.scala

build_jdk.scala

build_polyml.scala

build_release.scala

build_spass.scala

build_sqlite.scala

build_vampire.scala

build_verit.scala

build_zipperposition.scala

components.scala

other_isabelle.scala

General/

System/

executable.scala

isabelle_system.scala

Thy/

presentation.scala

Tools/

build_docker.scala

scala_project.scala

rISABELLEdf49ca5da9d0

src/Pure/Admin/build_csdp.scala

Loading...

src/Pure/Admin/build_e.scala

Loading...

src/Pure/Admin/build_fonts.scala

Loading...

src/Pure/Admin/build_jdk.scala

Loading...

src/Pure/Admin/build_polyml.scala

Loading...

src/Pure/Admin/build_release.scala

Loading...

src/Pure/Admin/build_spass.scala

Loading...

src/Pure/Admin/build_sqlite.scala

Loading...

src/Pure/Admin/build_vampire.scala

Loading...

src/Pure/Admin/build_verit.scala

Loading...

src/Pure/Admin/build_zipperposition.scala

Loading...

src/Pure/Admin/components.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...

src/Pure/General/file.scala

Loading...

src/Pure/System/executable.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...

src/Pure/Thy/bibtex.scala

Loading...

src/Pure/Thy/presentation.scala

Loading...

src/Pure/Tools/build_docker.scala

Loading...

src/Pure/Tools/scala_project.scala

Loading...