Diffusion Isabelle d3fce4feb142

clarified signature: more arguments;
d3fce4feb142
Actions

Tags

None

Subscribers

None

Description

clarified signature: more arguments;

Details

Provenance

Authored on

Parents

rISABELLE02c1ffc23d95: Added tag Isabelle2022-RC3 for changeset d704efeb01db

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd3fce4feb142: clarified signature: more arguments;.Oct 6 2022, 11:38 AM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEd3fce4feb142

src/Pure/General/http.scala

Loading...