Diffusion Isabelle e57ba228ec24

tuned: drop redundant "expand";
e57ba228ec24
Actions

Tags

None

Subscribers

None

Description

tuned: drop redundant "expand";

Details

Provenance

Authored on

Parents

rISABELLE92509e4274eb: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe57ba228ec24: tuned: drop redundant "expand";.Jan 23 2023, 11:31 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_history.scala

rISABELLEe57ba228ec24

src/Pure/Admin/build_history.scala

Loading...