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-20250825, according to patches;
authorwenzelm
Mon, 25 Aug 2025 21:35:15 +0200
changeset 83060 308127f582bc
parent 83059 10b1c49625f6
child 83061 9fbda8184ec7
update jedit-20250825, according to patches;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Aug 25 21:32:05 2025 +0200
+++ b/Admin/components/components.sha1	Mon Aug 25 21:35:15 2025 +0200
@@ -285,6 +285,7 @@
 a7c57e9e3aba1b6d18210818816b2fc9a555df68 jedit-20250822.tar.gz
 6ab799c215cde292fcfec605163bbd3c7707b768 jedit-20250823.tar.gz
 d0f4e6dae869eef0718d45cd1d1098bd8d846377 jedit-20250824.tar.gz
+fe8ccc83b2efc2f7cb4a6801467571a88b1aa2fa jedit-20250825.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
--- a/Admin/components/main	Mon Aug 25 21:32:05 2025 +0200
+++ b/Admin/components/main	Mon Aug 25 21:35:15 2025 +0200
@@ -15,7 +15,7 @@
 isabelle_setup-20250613
 javamail-20250122
 jdk-21.0.8
-jedit-20250824
+jedit-20250825
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.18.3
isabelle