clarified script name;
ce3409dfb18c
Actions

Description

clarified script name;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

components/

src/

Pure/

Admin/

rISABELLEce3409dfb18c

Admin/Linux/Isabelle.c

Admin/Linux/Isabelle.run

Admin/Linux/Isabelle_app

Admin/components/bundled-linux

Admin/components/components.sha1

src/Pure/Admin/build_release.scala

clarified script name;ce3409dfb18cActions

Description

Details

Changes (8)

rISABELLEce3409dfb18c

Admin/Linux/Isabelle.c

Admin/Linux/Isabelle.run

Admin/Linux/Isabelle_app

Admin/components/bundled-linux

Admin/components/components.sha1

src/Pure/Admin/build_release.scala

clarified script name;
ce3409dfb18c
Actions