src/Pure/Admin/component_jedit.scala

--- a/src/Pure/Admin/component_jedit.scala	Thu Apr 03 12:37:14 2025 +0200
+++ b/src/Pure/Admin/component_jedit.scala	Thu Apr 03 12:52:04 2025 +0200
@@ -89,12 +89,10 @@
 
   private val download_plugins: List[(String, String)] =
     List(
-      "Code2HTML" -> "0.7",
       "CommonControls" -> "1.7.4",
       "Console" -> "5.1.4",
       "ErrorList" -> "2.4.0",
       "Highlight" -> "2.5",
-      "Navigator" -> "2.7",
       "SideKick" -> "1.8")
 
   private def exclude_package(name: String): Boolean =