Diffusion Isabelle 9f7a94117666

clarified "recent" time: days <= 0 means infinity (no constraint);
9f7a94117666
Actions

Tags

None

Subscribers

None

Description

clarified "recent" time: days <= 0 means infinity (no constraint);

Details

Provenance

Authored on

Parents

rISABELLE224aabe156f5: tuned whitespace;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE9f7a94117666: clarified "recent" time: days <= 0 means infinity (no constraint);.Nov 4 2023, 5:29 PM

makarius mentioned this in rISABELLE2fee5fba3116: proper default for disjunction (amending 9f7a94117666);.Wed, Nov 8, 8:33 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_log.scala

build_status.scala

rISABELLE9f7a94117666

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Admin/build_status.scala

Loading...