Diffusion Isabelle 7b65209fdfe8

more robust: self-contained Other_Isabelle.isabelle_home;
7b65209fdfe8
Actions

Tags

None

Subscribers

None

Description

more robust: self-contained Other_Isabelle.isabelle_home;

Details

Provenance

Authored on

Parents

rISABELLEe8010cb36820: more robust and uniform Other_Isabelle.scala_build;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE7b65209fdfe8: more robust: self-contained Other_Isabelle.isabelle_home;.Jan 24 2023, 3:53 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

other_isabelle.scala

rISABELLE7b65209fdfe8

src/Pure/Admin/other_isabelle.scala

Loading...