Diffusion Isabelle 4d9f3d1e1749

more operations for SSH.System;
4d9f3d1e1749
Actions

Tags

None

Subscribers

None

Description

more operations for SSH.System;

Details

Provenance

Authored on

Parents

rISABELLE15e710116a16: recovered option -C from 092449efcb0e (still required for isabelle_cronjob.

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE4d9f3d1e1749: more operations for SSH.System;.Jan 25 2023, 2:51 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_history.scala

General/

rISABELLE4d9f3d1e1749

src/Pure/Admin/build_history.scala

Loading...

src/Pure/General/ssh.scala

Loading...