Diffusion Isabelle 2efbb4e813ad

clarified URL;
2efbb4e813ad
Actions

Tags

None

Subscribers

None

Description

clarified URL;

Details

Provenance

Authored on

Parents

rISABELLE488c7e8923b2: clarified pdf path;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2efbb4e813ad: clarified URL;.Feb 21 2022, 9:19 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE2efbb4e813ad

src/Pure/General/http.scala

Loading...