Diffusion Isabelle ef6f7e8a018c

clarified signature: more static types;
ef6f7e8a018c
Actions

Tags

None

Subscribers

None

Description

clarified signature: more static types;

Details

Provenance

Authored on

Parents

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

Branches

Unknown

Tags

Unknown

Event Timeline

makarius mentioned this in rISABELLEc2e8ba15a10a: discontinued adhoc change of environment (from c62b99e3ec07), which has been….Jan 24 2023, 10:41 PM

Changes (4)

Path

Size

src/

Pure/

Admin/

build_history.scala

remote_dmg.scala

General/

mercurial.scala

rISABELLEef6f7e8a018c

src/Pure/Admin/build_history.scala

Loading...

src/Pure/Admin/remote_dmg.scala

Loading...

src/Pure/General/mercurial.scala

Loading...

src/Pure/General/ssh.scala

Loading...