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
Tue, 22 Apr 2025 22:20:30 +0200
changeset 82566 7fac6b070a49
parent 82565 1033ed5d3972
child 82567 26564f433980
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	Tue Apr 22 22:11:16 2025 +0200
+++ b/Admin/components/components.sha1	Tue Apr 22 22:20:30 2025 +0200
@@ -272,6 +272,7 @@
 88c9cc14f5618ad21ca17664fdb57b8f5f6f6d2e jedit-20250404.tar.gz
 cab6dca89dc2e0d922e92cc47df07941a3c6b29c jedit-20250415.tar.gz
 23297ab36a853247a17f87b94a29654f3259b341 jedit-20250417.tar.gz
+a291746959e64916e8504b89dca804186d4eb8a1 jedit-20250422.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
--- a/Admin/components/main	Tue Apr 22 22:11:16 2025 +0200
+++ b/Admin/components/main	Tue Apr 22 22:20:30 2025 +0200
@@ -15,7 +15,7 @@
 isabelle_setup-20240327
 javamail-20250122
 jdk-21.0.6
-jedit-20250417
+jedit-20250422
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.18.3
isabelle