Diffusion Isabelle a3257d0e8bbb

presumably redundant (absent in Windows/Cygwin download);
a3257d0e8bbb
Actions

Tags

None

Subscribers

None

Description

presumably redundant (absent in Windows/Cygwin download);

Details

Provenance

Authored on

Parents

rISABELLEd0ba71b3297e: tuned messages;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa3257d0e8bbb: presumably redundant (absent in Windows/Cygwin download);.Oct 11 2020, 1:50 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_verit.scala

rISABELLEa3257d0e8bbb

src/Pure/Admin/build_verit.scala

Loading...