Diffusion Isabelle a8f002720ebb

prefer high-level Other_Isabelle.bash over low-level SSH.execute;
a8f002720ebb
Actions

Tags

None

Subscribers

None

Description

prefer high-level Other_Isabelle.bash over low-level SSH.execute;

Details

Provenance

Authored on

Parents

rISABELLE973cd25af280: unused (see 378bb7a739c3);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa8f002720ebb: prefer high-level Other_Isabelle.bash over low-level SSH.execute;.Jan 28 2023, 8:21 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_history.scala

rISABELLEa8f002720ebb

src/Pure/Admin/build_history.scala

Loading...