Diffusion Isabelle 6c4e20a02ac7

update to jsoup-1.17.2;
6c4e20a02ac7
Actions

Tags

None

Subscribers

None

Description

update to jsoup-1.17.2;

Details

Provenance

Authored on

Parents

rISABELLEef635b035561: proper bib entries (amending 82aaa0d8fc3b);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE6c4e20a02ac7: update to jsoup-1.17.2;.Mar 21 2024, 4:16 PM

Changes (3)

Path

Size

Admin/

components/

components.sha1

src/

Pure/

Admin/

component_jsoup.scala

rISABELLE6c4e20a02ac7

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

src/Pure/Admin/component_jsoup.scala

Loading...