--- a/Admin/components/components.sha1 Wed Jan 29 21:25:44 2025 +0100
+++ b/Admin/components/components.sha1 Thu Jan 30 11:53:26 2025 +0100
@@ -254,6 +254,7 @@
5117b7d0283adf31cf2bde17a9912eb775a0822f jedit-20241101.tar.gz
a8b11ddf7f6838ea53868e46cb4555b7fa60e776 jedit-20241115.tar.gz
6a5d78867dc6f692f8f3ab758e3ac1b86fabd3bf jedit-20250129.tar.gz
+011d322d4ae1f8c57112bd695f5e812e48e1d953 jedit-20250130.tar.gz
44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
--- a/Admin/components/main Wed Jan 29 21:25:44 2025 +0100
+++ b/Admin/components/main Thu Jan 30 11:53:26 2025 +0100
@@ -15,7 +15,7 @@
isabelle_setup-20240327
javamail-20250122
jdk-21.0.6
-jedit-20250129
+jedit-20250130
jfreechart-1.5.3
jortho-1.0-2
jsoup-1.18.3
--- a/src/Pure/Admin/component_jedit.scala Wed Jan 29 21:25:44 2025 +0100
+++ b/src/Pure/Admin/component_jedit.scala Thu Jan 30 11:53:26 2025 +0100
@@ -197,6 +197,8 @@
Isabelle_System.download_file(url, jars_dir + Path.basic(name), progress = progress)
}
+ (jars_dir + Path.basic("MacOS.jar")).file.delete
+
for { (name, vers) <- download_plugins } {
Isabelle_System.with_tmp_file("tmp", ext = "zip") { zip_path =>
val url =