src/Pure/Admin/component_jsoup.scala
Mon, 16 Dec 2024 13:08:32 +0100 wenzelm update to jsoup-1.18.3;
Thu, 21 Mar 2024 16:16:03 +0100 wenzelm update to jsoup-1.17.2;
Sat, 11 Mar 2023 21:25:24 +0100 wenzelm discontinued apache-commons in favour of jsoup, which is smaller and more useful;
less more (0) tip