| 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 |