Diffusion Isabelle ec3249dd63dd

more portable across history;
ec3249dd63dd
Actions

Tags

None

Subscribers

None

Description

more portable across history;

Details

Provenance

Authored on

Parents

rISABELLEd6ae3a7d9cb0: proper isabelle.setup.Setup build;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEec3249dd63dd: more portable across history;.Jul 17 2021, 10:17 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_history.scala

rISABELLEec3249dd63dd

src/Pure/Admin/build_history.scala

Loading...