Diffusion Isabelle 973de7855948

removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);
973de7855948
Actions

Tags

None

Subscribers

None

Description

removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);

Details

Provenance

Authored on

Parents

rISABELLE2515198c55e4: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE973de7855948: removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);.Jan 24 2023, 5:16 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_history.scala

other_isabelle.scala

rISABELLE973de7855948

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/other_isabelle.scala

Loading...