Diffusion Isabelle fc7a0ea94c43

support timeout, similar to perl LWP::UserAgent;
fc7a0ea94c43
Actions

Tags

None

Subscribers

None

Description

support timeout, similar to perl LWP::UserAgent;

Details

Provenance

Authored on

Parents

rISABELLEa114ecd280ca: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEfc7a0ea94c43: support timeout, similar to perl LWP::UserAgent;.Mar 13 2021, 2:08 PM

Changes (2)

Path

Size

src/

HOL/

Tools/

ATP/

system_on_tptp.scala

Pure/

General/

rISABELLEfc7a0ea94c43

src/HOL/Tools/ATP/system_on_tptp.scala

Loading...

src/Pure/General/http.scala

Loading...