Diffusion Isabelle ae2f5fd0bb5d

clarified signature and modules: more explicit Build_Log.History;
ae2f5fd0bb5d
Actions

Tags

None

Subscribers

None

Description

clarified signature and modules: more explicit Build_Log.History;

Details

Provenance

Authored on

Parents

rISABELLEf728be354ffb: tuned: avoid recursion;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEae2f5fd0bb5d: clarified signature and modules: more explicit Build_Log.History;.Sun, Nov 19, 12:46 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_log.scala

isabelle_cronjob.scala

rISABELLEae2f5fd0bb5d

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...