| Tue, 11 Feb 2025 23:31:12 +0100 | wenzelm | proper Boolean polarity (amending 527daf6823fb after 3b0f8f1010f2); | file | diff | annotate |
| Mon, 06 Jan 2025 16:01:52 +0100 | wenzelm | update to current jcef-1.0.61; | file | diff | annotate |
| Mon, 06 Jan 2025 15:33:35 +0100 | wenzelm | recovered "isabelle component_jcef" from bf537a75e872, adapted to 9fe5d8c70352 and 2a99fcb283ee; | file | diff | annotate |