Diffusion Isabelle 08aa4c1ed579

clarified signature: more explicit HTTP operations;
08aa4c1ed579
Actions

Tags

None

Subscribers

None

Description

clarified signature: more explicit HTTP operations;

Details

Provenance

Authored on

Parents

rISABELLE043b56d882d3: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE08aa4c1ed579: clarified signature: more explicit HTTP operations;.Mar 12 2021, 7:46 PM

Changes (3)

Path

Size

src/

Pure/

General/

System/

isabelle_system.scala

rISABELLE08aa4c1ed579

src/Pure/General/http.scala

Loading...

src/Pure/General/url.scala

Loading...

src/Pure/System/isabelle_system.scala

Loading...