src/Pure/Thy/html.scala
Tue, 29 Aug 2023 16:55:49 +0200 wenzelm clarified signature: prefer enum types;
Tue, 29 Aug 2023 12:53:28 +0200 wenzelm misc tuning: support "scalac -source 3.3";
Sat, 11 Mar 2023 21:36:25 +0100 wenzelm more operations, thanks to Jsoup;
Sat, 11 Mar 2023 21:25:24 +0100 wenzelm discontinued apache-commons in favour of jsoup, which is smaller and more useful;
Sun, 11 Dec 2022 13:46:34 +0100 wenzelm clarified signature: more general operations;
Sun, 21 Aug 2022 11:52:51 +0200 wenzelm clarified signature: terminology of "base" (here) vs. "root" (there);
Sun, 21 Aug 2022 11:48:14 +0200 wenzelm tuned;
less more (0) -100 -30 -10 -7 tip