Diffusion Isabelle c42144d9dde6

more uniform HTTP resources;
c42144d9dde6
Actions

Tags

None

Subscribers

None

Description

more uniform HTTP resources;

Details

Provenance

Authored on

Parents

rISABELLEd3f2038198ae: clarified (again): local tip could be actually more recent;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc42144d9dde6: more uniform HTTP resources;.Mar 31 2021, 12:02 PM

Changes (2)

Path

Size

src/

Pure/

General/

Tools/

jEdit/

src/

document_model.scala

rISABELLEc42144d9dde6

src/Pure/General/http.scala

Loading...

src/Tools/jEdit/src/document_model.scala

Loading...