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.
updated to jEdit plugin Highlight 2.5;
authorwenzelm
Tue, 19 Oct 2021 16:45:21 +0200
changeset 74548 1861f4d1d3f9
parent 74547 54055f568d76
child 74549 f4d917c5fdff
updated to jEdit plugin Highlight 2.5;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Admin/build_jedit.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Tue Oct 19 15:20:31 2021 +0200
+++ b/Admin/components/components.sha1	Tue Oct 19 16:45:21 2021 +0200
@@ -192,6 +192,7 @@
 beb99f2cb0bd4e595c5c597d3970c46aa21616e4  jedit-20210717.tar.gz
 33dd96cd83f2c6a26c035b7a0ee57624655224c5  jedit-20210724.tar.gz
 0e4fd4d66388ddc760fa5fbd8d4a9a3b77cf59c7  jedit-20210802.tar.gz
+258d527819583d740a3aa52dfef630eed389f8c6  jedit-20211019.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 Oct 19 15:20:31 2021 +0200
+++ b/Admin/components/main	Tue Oct 19 16:45:21 2021 +0200
@@ -10,7 +10,7 @@
 isabelle_fonts-20211004
 isabelle_setup-20210922
 jdk-17+35
-jedit-20210802
+jedit-20211019
 jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.7
--- a/src/Pure/Admin/build_jedit.scala	Tue Oct 19 15:20:31 2021 +0200
+++ b/src/Pure/Admin/build_jedit.scala	Tue Oct 19 16:45:21 2021 +0200
@@ -98,7 +98,7 @@
       "CommonControls" -> "1.7.4",
       "Console" -> "5.1.4",
       "ErrorList" -> "2.4.0",
-      "Highlight" -> "2.2",
+      "Highlight" -> "2.5",
       "Navigator" -> "2.7",
       "SideKick" -> "1.8")
isabelle