Diffusion Isabelle b9d59669904a

clarified signature: more operations and options concerning Isabelle hg;
b9d59669904a
Actions

Tags

None

Subscribers

None

Description

clarified signature: more operations and options concerning Isabelle hg;

Details

Provenance

Authored on

Parents

rISABELLE07f135271c80: performance tuning: cache graph;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb9d59669904a: clarified signature: more operations and options concerning Isabelle hg;.Sun, Nov 19, 3:15 PM

makarius mentioned this in rISABELLE39fb869160d6: clarified isabelle_hg (again, see b9d59669904a);.Sun, Nov 19, 7:46 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

build_log.scala

isabelle_cronjob.scala

rISABELLEb9d59669904a

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...