Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update jedit component;
authorwenzelm
Wed, 02 Apr 2025 23:16:24 +0200
changeset 82417 9f0f37a12ea8
parent 82416 7b98d2a8ee6e
child 82418 6898054035d6
update jedit component;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Apr 02 22:59:34 2025 +0200
+++ b/Admin/components/components.sha1	Wed Apr 02 23:16:24 2025 +0200
@@ -263,6 +263,7 @@
 011d322d4ae1f8c57112bd695f5e812e48e1d953 jedit-20250130.tar.gz
 8a1a29b585240766a34784e152f769d0df007425 jedit-20250209.tar.gz
 12f22ccb48a0a7dc9ad8c1b27552e8fd26d4ae0c jedit-20250215.tar.gz
+1aa375149dc5e84cfdd64bf66e7e0f68319b7db7 jedit-20250402.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 Apr 02 22:59:34 2025 +0200
+++ b/Admin/components/main	Wed Apr 02 23:16:24 2025 +0200
@@ -16,7 +16,7 @@
 isabelle_setup-20240327
 javamail-20250122
 jdk-21.0.6
-jedit-20250215
+jedit-20250402
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.18.3
isabelle