Stream: Mirror: Isabelle Development Mailing List

Topic: [isabelle-dev] Update of VSCodium/Electron/Node.js

view this post on Zulip Email Gateway (Aug 30 2022 at 10:27):

From: Makarius <makarius@sketis.net>
Isabelle/04ce6cf2bd3b provides an update of the system component for VSCodium
(approx. 1.2 GB for all platforms together). Hopefully, this will be
sufficient for the Isabelle2022 release: I don't want to produce these bulky
tar balls too often.

The update of VSCodium is notably, because Electron/Node.js has been warped
from distant past towords more current "LTS" versions:

VSCodium 1.65.2 ~> 1.70.1
Electron 13.5.2 ~> 18.3.5
Node.js 14.16.0 ~> 16.13.2

This will increase our chances to make sense of the new application platform
(after the Isabelle release): add-on tools often depend on rather young
versions, even PDF.js as seen in Isabelle/f719bbee1721:

changeset: 75706:f719bbee1721
user: wenzelm
date: Wed Jul 27 12:28:53 2022 +0200
files: Admin/components/components.sha1 Admin/components/main
src/Pure/Admin/build_pdfjs.scala
description:
updated to pdfjs-2.14.305;
prefer "legacy" distribution: more portable, notably for old Node.js/Electron
of VSCodium;

Makarius

isabelle-dev mailing list
isabelle-dev@in.tum.de
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev

Last updated: Apr 26 2024 at 16:20 UTC