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 to jedit-20241115 (see also ecd62f7b3644 and d92d754b5dd9);
authorwenzelm
Fri, 15 Nov 2024 20:48:41 +0100
changeset 81455 cb92b98b4a4e
parent 81454 0bdb0d8e50c0
child 81456 b29b72f64a6c
update to jedit-20241115 (see also ecd62f7b3644 and d92d754b5dd9);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Fri Nov 15 20:44:49 2024 +0100
+++ b/Admin/components/components.sha1	Fri Nov 15 20:48:41 2024 +0100
@@ -244,6 +244,7 @@
 7fc9df033ec6b49dc1dad85eb240ab4f80653aa3 jedit-20231120.tar.gz
 fbfd1d8a117a5bd844f230903d561cb88d3e5189 jedit-20240425.tar.gz
 5117b7d0283adf31cf2bde17a9912eb775a0822f jedit-20241101.tar.gz
+a8b11ddf7f6838ea53868e46cb4555b7fa60e776 jedit-20241115.tar.gz
 44775a22f42a9d665696bfb49e53c79371c394b0 jedit_build-20111217.tar.gz
 a242a688810f2bccf24587b0062ce8027bf77fa2 jedit_build-20120304.tar.gz
 4c948dee53f74361c097c08f49a1a5ff9b17bd1d jedit_build-20120307.tar.gz
--- a/Admin/components/main	Fri Nov 15 20:44:49 2024 +0100
+++ b/Admin/components/main	Fri Nov 15 20:48:41 2024 +0100
@@ -14,7 +14,7 @@
 isabelle_setup-20240327
 javamail-20240109
 jdk-21.0.5
-jedit-20241101
+jedit-20241115
 jfreechart-1.5.3
 jortho-1.0-2
 jsoup-1.17.2
isabelle