Diffusion Isabelle 367d83d6030e

clarified hg.id operation, with explicit tip as default;
367d83d6030e
Actions

Tags

None

Subscribers

None

Description

clarified hg.id operation, with explicit tip as default;

Details

Provenance

Authored on

Parents

rISABELLEdbc8294c75d3: added remote_build_history tasks: parallel on several remote hosts;

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (4)

Path

Size

src/

Pure/

Admin/

build_history.scala

ci_profile.scala

isabelle_cronjob.scala

General/

mercurial.scala

rISABELLE367d83d6030e

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/ci_profile.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/General/mercurial.scala

Loading...