--- a/src/Pure/Admin/build_log.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Admin/build_log.scala Wed Feb 12 00:40:57 2025 +0100
@@ -11,7 +11,6 @@
import java.time.format.{DateTimeFormatter, DateTimeParseException}
import java.util.Locale
-import scala.collection.immutable.SortedMap
import scala.collection.mutable
import scala.util.matching.Regex
--- a/src/Pure/Admin/component_polyml.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Admin/component_polyml.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,9 +9,6 @@
package isabelle
-import scala.util.matching.Regex
-
-
object Component_PolyML {
/** platform-specific build **/
--- a/src/Pure/Admin/isabelle_cronjob.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
import java.nio.file.Files
import scala.annotation.tailrec
-import scala.collection.mutable
object Isabelle_Cronjob {
--- a/src/Pure/Build/browser_info.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Build/browser_info.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,6 @@
import scala.annotation.tailrec
-import scala.collection.immutable.SortedMap
import scala.collection.mutable
--- a/src/Pure/Build/build_process.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Build/build_process.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,9 +8,7 @@
package isabelle
-import scala.collection.immutable.SortedMap
import scala.math.Ordering
-import scala.annotation.tailrec
object Build_Process {
--- a/src/Pure/Build/sessions.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Build/sessions.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,7 @@
import java.io.{File => JFile}
-import scala.collection.immutable.{SortedSet, SortedMap}
+import scala.collection.immutable.SortedSet
import scala.collection.mutable
--- a/src/Pure/GUI/gui.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/GUI/gui.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,14 +9,13 @@
import java.util.{Map => JMap}
import java.awt.{Component, Container, Font, Image, Insets, KeyboardFocusManager, Window, Point,
Rectangle, Dimension, GraphicsEnvironment, MouseInfo, Toolkit}
-import java.awt.event.{KeyAdapter, KeyEvent, ItemListener, ItemEvent}
+import java.awt.event.{KeyAdapter, KeyEvent}
import java.awt.font.{FontRenderContext, LineMetrics, TextAttribute, TransformAttribute}
import java.awt.geom.AffineTransform
-import javax.swing.{ImageIcon, JButton, JDialog, JFrame, JLabel, JLayeredPane, JOptionPane,
- RootPaneContainer, JTextField, JWindow, JComboBox, LookAndFeel, UIManager, SwingUtilities}
+import javax.swing.{ImageIcon, JButton, JLabel, JLayeredPane, JOptionPane,
+ RootPaneContainer, JTextField, JComboBox, LookAndFeel, UIManager, SwingUtilities}
-import scala.swing.{CheckBox, ComboBox, ScrollPane, TextArea, ListView, Label, Separator,
- Orientation}
+import scala.swing.{CheckBox, ComboBox, ScrollPane, TextArea, ListView, Separator}
import scala.swing.event.{ButtonClicked, SelectionChanged}
--- a/src/Pure/GUI/tree_view.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/GUI/tree_view.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,7 @@
import javax.swing.JTree
import javax.swing.tree.{MutableTreeNode, DefaultMutableTreeNode, DefaultTreeModel,
- TreeSelectionModel, TreeCellRenderer, DefaultTreeCellRenderer}
+ TreeSelectionModel, DefaultTreeCellRenderer}
object Tree_View {
--- a/src/Pure/General/bytes.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/bytes.scala Wed Feb 12 00:40:57 2025 +0100
@@ -7,7 +7,7 @@
package isabelle
-import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileInputStream, FileOutputStream,
+import java.io.{ByteArrayInputStream, ByteArrayOutputStream, FileOutputStream,
InputStreamReader, InputStream, OutputStream, File => JFile}
import java.nio.ByteBuffer
import java.nio.charset.StandardCharsets.ISO_8859_1
--- a/src/Pure/General/file.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/file.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,7 @@
import java.util.{Properties => JProperties}
import java.io.{BufferedWriter, OutputStreamWriter, FileOutputStream, BufferedOutputStream,
OutputStream, InputStream, FileInputStream, BufferedInputStream, BufferedReader,
- InputStreamReader, File => JFile, IOException}
+ File => JFile, IOException}
import java.nio.file.{StandardOpenOption, Path => JPath, Files, SimpleFileVisitor,
FileVisitOption, FileVisitResult}
import java.nio.file.attribute.{BasicFileAttributes, PosixFilePermission}
--- a/src/Pure/General/mail.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/mail.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,8 +9,8 @@
import java.util.{Properties => JProperties}
import jakarta.mail.internet.{InternetAddress, MimeMessage}
-import jakarta.mail.{AuthenticationFailedException, Authenticator, Message, MessagingException,
- PasswordAuthentication, Transport as JTransport, Session => JSession}
+import jakarta.mail.{Authenticator, Message, PasswordAuthentication, Transport => JTransport,
+ Session => JSession}
object Mail {
--- a/src/Pure/General/multi_map.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/multi_map.scala Wed Feb 12 00:40:57 2025 +0100
@@ -7,7 +7,7 @@
package isabelle
import scala.collection.mutable
-import scala.collection.{IterableFactory, MapFactory, MapFactoryDefaults}
+import scala.collection.{MapFactory, MapFactoryDefaults}
import scala.collection.immutable.{Iterable, MapOps}
--- a/src/Pure/General/path.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/path.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,6 @@
package isabelle
-import java.util.{Map => JMap}
import java.io.{File => JFile}
import java.nio.file.{Path => JPath}
--- a/src/Pure/General/ssh.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/General/ssh.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,8 +8,6 @@
package isabelle
-import java.util.{Map => JMap}
-
import scala.annotation.tailrec
--- a/src/Pure/PIDE/headless.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/PIDE/headless.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
import java.io.{File => JFile}
import scala.annotation.tailrec
-import scala.collection.mutable
object Headless {
--- a/src/Pure/PIDE/text.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/PIDE/text.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,6 @@
import scala.collection.mutable
-import scala.util.Sorting
object Text {
--- a/src/Pure/System/isabelle_charset.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/System/isabelle_charset.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,9 +8,7 @@
import java.util.{List => JList}
-import java.nio.Buffer
-import java.nio.{ByteBuffer, CharBuffer}
-import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder, CoderResult}
+import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder}
import java.nio.charset.spi.CharsetProvider
--- a/src/Pure/System/scala.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/System/scala.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,19 +10,10 @@
import java.io.{File => JFile, PrintStream, ByteArrayOutputStream, OutputStream}
import scala.collection.mutable
-import scala.annotation.tailrec
import dotty.tools.dotc.CompilationUnit
-import dotty.tools.dotc.ast.Trees.PackageDef
-import dotty.tools.dotc.ast.untpd
-import dotty.tools.dotc.core.Contexts.{Context => CompilerContext}
-import dotty.tools.dotc.core.NameOps.moduleClassName
-import dotty.tools.dotc.core.{Phases, StdNames}
-import dotty.tools.dotc.interfaces
-import dotty.tools.dotc.reporting.{Diagnostic, ConsoleReporter}
-import dotty.tools.dotc.util.{SourceFile, SourcePosition, NoSourcePosition}
import dotty.tools.repl
-import dotty.tools.repl.{ReplCompiler, ReplDriver}
+import dotty.tools.repl.ReplDriver
object Scala {
--- a/src/Pure/System/system_channel.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/System/system_channel.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,8 +8,8 @@
import java.io.{InputStream, OutputStream}
-import java.net.{InetAddress, InetSocketAddress, ProtocolFamily, ServerSocket, SocketAddress,
- StandardProtocolFamily, UnixDomainSocketAddress, StandardSocketOptions}
+import java.net.{InetSocketAddress, ProtocolFamily, StandardProtocolFamily, UnixDomainSocketAddress,
+ StandardSocketOptions}
import java.nio.channels.{ServerSocketChannel, Channels}
--- a/src/Pure/Thy/thy_header.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Thy/thy_header.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,6 @@
import scala.util.parsing.input.Reader
-import scala.util.matching.Regex
object Thy_Header {
--- a/src/Pure/Tools/dump.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Tools/dump.scala Wed Feb 12 00:40:57 2025 +0100
@@ -6,8 +6,6 @@
package isabelle
-import java.io.{BufferedWriter, FileOutputStream, OutputStreamWriter}
-
object Dump {
/* aspects */
--- a/src/Pure/Tools/prismjs.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Tools/prismjs.scala Wed Feb 12 00:40:57 2025 +0100
@@ -6,8 +6,6 @@
package isabelle
-import scala.collection.mutable
-
object Prismjs {
/* component resources */
--- a/src/Pure/Tools/scala_build.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Tools/scala_build.scala Wed Feb 12 00:40:57 2025 +0100
@@ -8,7 +8,6 @@
import java.io.{ByteArrayOutputStream, PrintStream}
-import java.nio.file.Files
import java.nio.file.{Path => JPath}
import scala.jdk.CollectionConverters._
--- a/src/Pure/Tools/server.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/Tools/server.scala Wed Feb 12 00:40:57 2025 +0100
@@ -21,7 +21,7 @@
import java.io.{BufferedInputStream, BufferedOutputStream, InputStreamReader, OutputStreamWriter,
IOException}
-import java.net.{Socket, SocketException, SocketTimeoutException, ServerSocket, InetAddress}
+import java.net.{Socket, ServerSocket, InetAddress}
object Server {
--- a/src/Pure/thm_name.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/thm_name.scala Wed Feb 12 00:40:57 2025 +0100
@@ -7,9 +7,6 @@
package isabelle
-import scala.math.Ordering
-
-
object Thm_Name {
object Ordering extends scala.math.Ordering[Thm_Name] {
def compare(thm_name1: Thm_Name, thm_name2: Thm_Name): Int =
--- a/src/Tools/Find_Facts/src/thy_blocks.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Find_Facts/src/thy_blocks.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,8 +9,6 @@
import isabelle._
-import scala.annotation.tailrec
-
object Thy_Blocks {
/** spans **/
--- a/src/Tools/Graphview/graph_file.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/graph_file.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,7 @@
import isabelle._
import java.io.{File => JFile}
-import java.awt.{Color, Graphics2D}
+import java.awt.Graphics2D
object Graph_File {
--- a/src/Tools/Graphview/graph_panel.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/graph_panel.scala Wed Feb 12 00:40:57 2025 +0100
@@ -12,12 +12,10 @@
import java.awt.{Dimension, Graphics2D, Point, Rectangle}
import java.awt.geom.{AffineTransform, Point2D}
-import javax.imageio.ImageIO
-import javax.swing.{JScrollPane, JComponent, SwingUtilities}
-import javax.swing.border.EmptyBorder
+import javax.swing.{JScrollPane, SwingUtilities}
import scala.swing.{BorderPanel, Button, CheckBox, Action, FileChooser, Panel, ScrollPane}
-import scala.swing.event.{Event, Key, MousePressed, MouseDragged, MouseClicked, MouseEvent}
+import scala.swing.event.{Event, Key, MousePressed, MouseDragged, MouseClicked}
class Graph_Panel(val graphview: Graphview) extends BorderPanel {
--- a/src/Tools/Graphview/graphview.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/graphview.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,7 @@
import isabelle._
-import java.awt.{Font, Color, Shape, Graphics2D}
+import java.awt.{Font, Color, Graphics2D}
import java.awt.geom.{Point2D, Rectangle2D}
import javax.swing.JComponent
--- a/src/Tools/Graphview/mutator.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/mutator.scala Wed Feb 12 00:40:57 2025 +0100
@@ -11,7 +11,6 @@
import isabelle._
import java.awt.Color
-import scala.collection.immutable.SortedSet
object Mutator {
--- a/src/Tools/Graphview/mutator_dialog.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/mutator_dialog.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
import isabelle._
-import java.awt.Color
import java.awt.FocusTraversalPolicy
import javax.swing.JColorChooser
import javax.swing.border.EmptyBorder
--- a/src/Tools/Graphview/shapes.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/shapes.scala Wed Feb 12 00:40:57 2025 +0100
@@ -11,8 +11,7 @@
import isabelle._
import java.awt.{BasicStroke, Graphics2D, Shape}
-import java.awt.geom.{AffineTransform, GeneralPath, Path2D, Rectangle2D,
- RoundRectangle2D, PathIterator}
+import java.awt.geom.{AffineTransform, GeneralPath, Path2D, Rectangle2D, PathIterator}
object Shapes {
--- a/src/Tools/Graphview/tree_panel.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/Graphview/tree_panel.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,7 @@
import isabelle._
-import java.awt.{Dimension, Rectangle}
+import java.awt.Dimension
import java.awt.event.{KeyEvent, KeyAdapter, MouseEvent, MouseAdapter}
import javax.swing.tree.TreePath
import javax.swing.event.{DocumentListener, DocumentEvent}
--- a/src/Tools/VSCode/src/channel.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/VSCode/src/channel.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,7 @@
import isabelle._
-import java.io.{InputStream, OutputStream, FileOutputStream, File => JFile}
+import java.io.{InputStream, OutputStream}
import scala.collection.mutable
--- a/src/Tools/VSCode/src/language_server.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/VSCode/src/language_server.scala Wed Feb 12 00:40:57 2025 +0100
@@ -16,7 +16,6 @@
import java.io.{PrintStream, OutputStream, File => JFile}
import scala.annotation.tailrec
-import scala.collection.mutable
object Language_Server {
--- a/src/Tools/jEdit/src/completion_popup.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/completion_popup.scala Wed Feb 12 00:40:57 2025 +0100
@@ -16,11 +16,8 @@
import javax.swing.text.DefaultCaret
import scala.swing.{ListView, ScrollPane}
-import scala.swing.event.MouseClicked
-import org.gjt.sp.jedit.View
import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea, Selection}
import org.gjt.sp.jedit.gui.{HistoryTextField, KeyEventWorkaround}
-import org.gjt.sp.util.StandardUtilities
object Completion_Popup {
--- a/src/Tools/jEdit/src/debugger_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/debugger_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -15,7 +15,7 @@
import javax.swing.event.TreeSelectionEvent
import scala.collection.immutable.SortedMap
-import scala.swing.{Button, Label, Component}
+import scala.swing.{Label, Component}
import org.gjt.sp.jedit.{jEdit, View}
import org.gjt.sp.jedit.menu.EnhancedMenuItem
--- a/src/Tools/jEdit/src/document_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/document_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,12 +10,11 @@
import isabelle._
import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter}
-import scala.swing.{ScrollPane, TextArea, Label, TabbedPane, BorderPanel, Component}
+import scala.swing.{ScrollPane, TabbedPane, BorderPanel, Component}
import scala.swing.event.SelectionChanged
-import org.gjt.sp.jedit.{jEdit, View}
+import org.gjt.sp.jedit.View
object Document_Dockable {
--- a/src/Tools/jEdit/src/font_info.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/font_info.scala Wed Feb 12 00:40:57 2025 +0100
@@ -12,7 +12,7 @@
import java.awt.Font
-import org.gjt.sp.jedit.{jEdit, View}
+import org.gjt.sp.jedit.jEdit
object Font_Info {
--- a/src/Tools/jEdit/src/info_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/info_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,7 @@
import isabelle._
import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter, WindowFocusListener, WindowEvent}
+import java.awt.event.{WindowFocusListener, WindowEvent}
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/isabelle.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala Wed Feb 12 00:40:57 2025 +0100
@@ -17,7 +17,7 @@
import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea, StructureMatcher, Selection}
import org.gjt.sp.jedit.syntax.TokenMarker
import org.gjt.sp.jedit.indent.IndentRule
-import org.gjt.sp.jedit.gui.{DockableWindowManager, CompleteWord}
+import org.gjt.sp.jedit.gui.DockableWindowManager
import org.jedit.options.CombinedOptions
--- a/src/Tools/jEdit/src/isabelle_encoding.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/isabelle_encoding.scala Wed Feb 12 00:40:57 2025 +0100
@@ -12,8 +12,8 @@
import org.gjt.sp.jedit.buffer.JEditBuffer
import org.gjt.sp.jedit.io.Encoding
-import java.nio.charset.{Charset, CodingErrorAction, CharacterCodingException}
-import java.io.{InputStream, OutputStream, Reader, Writer, InputStreamReader, OutputStreamWriter,
+import java.nio.charset.{CodingErrorAction, CharacterCodingException}
+import java.io.{InputStream, OutputStream, Reader, Writer, OutputStreamWriter,
CharArrayReader, ByteArrayOutputStream}
import scala.io.{Codec, BufferedSource}
--- a/src/Tools/jEdit/src/isabelle_session.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/isabelle_session.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
import isabelle._
import java.awt.Component
-import java.io.InputStream
import org.gjt.sp.jedit.View
import org.gjt.sp.jedit.io.{VFS => JEdit_VFS, VFSFile}
--- a/src/Tools/jEdit/src/jedit_bibtex.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_bibtex.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,15 +10,13 @@
import isabelle._
-import scala.collection.mutable
-
import java.awt.event.{ActionListener, ActionEvent}
import javax.swing.text.Segment
import javax.swing.{JMenu, JMenuItem}
import org.gjt.sp.jedit.Buffer
-import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
+import org.gjt.sp.jedit.textarea.JEditTextArea
import org.gjt.sp.jedit.syntax.{Token => JEditToken, TokenMarker, TokenHandler}
--- a/src/Tools/jEdit/src/jedit_lib.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_lib.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,10 +10,10 @@
import isabelle._
import java.io.{File => JFile}
-import java.awt.{Component, Container, GraphicsEnvironment, Point, Rectangle, Dimension, Toolkit}
+import java.awt.{Component, Container, Toolkit}
import java.awt.event.{InputEvent, KeyEvent, KeyListener}
import java.awt.font.FontRenderContext
-import javax.swing.{Icon, ImageIcon, JScrollBar, JWindow, SwingUtilities}
+import javax.swing.{Icon, ImageIcon, JScrollBar, JWindow}
import scala.util.parsing.input.CharSequenceReader
import scala.util.matching.Regex
--- a/src/Tools/jEdit/src/jedit_options.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_options.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,7 @@
import isabelle._
-import java.awt.{Font, Color}
+import java.awt.Color
import javax.swing.{InputVerifier, JComponent, UIManager}
import javax.swing.text.JTextComponent
--- a/src/Tools/jEdit/src/jedit_rendering.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_rendering.scala Wed Feb 12 00:40:57 2025 +0100
@@ -16,8 +16,6 @@
import org.gjt.sp.jedit.syntax.{Token => JEditToken}
import org.gjt.sp.jedit.jEdit
-import scala.collection.immutable.SortedMap
-
object JEdit_Rendering {
/* make rendering */
--- a/src/Tools/jEdit/src/jedit_resources.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_resources.scala Wed Feb 12 00:40:57 2025 +0100
@@ -11,13 +11,12 @@
import isabelle._
import java.io.{File => JFile, ByteArrayOutputStream}
-import javax.swing.text.Segment
import scala.util.parsing.input.Reader
-import org.gjt.sp.jedit.io.{VFS, FileVFS, VFSManager}
+import org.gjt.sp.jedit.io.{FileVFS, VFSManager}
import org.gjt.sp.jedit.MiscUtilities
-import org.gjt.sp.jedit.{jEdit, View, Buffer}
+import org.gjt.sp.jedit.Buffer
import org.gjt.sp.jedit.bufferio.BufferIORequest
--- a/src/Tools/jEdit/src/jedit_spell_checker.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/jedit_spell_checker.scala Wed Feb 12 00:40:57 2025 +0100
@@ -13,7 +13,7 @@
import org.gjt.sp.jedit.menu.EnhancedMenuItem
import org.gjt.sp.jedit.jEdit
-import org.gjt.sp.jedit.textarea.{JEditTextArea, TextArea}
+import org.gjt.sp.jedit.textarea.JEditTextArea
object JEdit_Spell_Checker {
--- a/src/Tools/jEdit/src/main_plugin.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/main_plugin.scala Wed Feb 12 00:40:57 2025 +0100
@@ -18,7 +18,6 @@
import org.gjt.sp.jedit.syntax.ModeProvider
import org.gjt.sp.jedit.msg.{EditorStarted, BufferUpdate, EditPaneUpdate, PropertiesChanged,
ViewUpdate}
-import org.gjt.sp.util.SyntaxUtilities
import org.gjt.sp.util.Log
--- a/src/Tools/jEdit/src/output_area.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/output_area.scala Wed Feb 12 00:40:57 2025 +0100
@@ -16,9 +16,7 @@
import javax.swing.event.{TreeSelectionListener, TreeSelectionEvent}
import javax.swing.plaf.basic.BasicSplitPaneUI
-import scala.util.matching.Regex
import scala.swing.{Component, ScrollPane, SplitPane, Orientation}
-import scala.swing.event.ButtonClicked
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/output_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/output_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
import isabelle._
import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter}
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/pretty_text_area.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/pretty_text_area.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,8 +10,8 @@
import isabelle._
-import java.awt.{Color, Font, Toolkit, Window}
-import java.awt.event.{InputEvent, KeyEvent}
+import java.awt.{Color, Font}
+import java.awt.event.KeyEvent
import java.awt.im.InputMethodRequests
import javax.swing.JTextField
import javax.swing.event.{DocumentListener, DocumentEvent}
--- a/src/Tools/jEdit/src/pretty_tooltip.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/pretty_tooltip.scala Wed Feb 12 00:40:57 2025 +0100
@@ -18,7 +18,6 @@
import scala.swing.event.MouseClicked
import org.gjt.sp.jedit.View
-import org.gjt.sp.jedit.textarea.TextArea
object Pretty_Tooltip {
--- a/src/Tools/jEdit/src/process_indicator.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/process_indicator.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,7 +9,6 @@
import isabelle._
-import java.awt.Image
import java.awt.event.{ActionListener, ActionEvent}
import javax.swing.{ImageIcon, Timer}
import scala.swing.{Label, Component}
--- a/src/Tools/jEdit/src/protocol_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/protocol_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,8 +9,6 @@
import isabelle._
-import java.awt.BorderLayout
-
import scala.swing.{TextArea, ScrollPane}
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/simplifier_trace_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/simplifier_trace_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -12,7 +12,6 @@
import scala.swing.{Orientation, Separator}
import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter}
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/simplifier_trace_window.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/simplifier_trace_window.scala Wed Feb 12 00:40:57 2025 +0100
@@ -11,15 +11,12 @@
import scala.annotation.tailrec
import scala.collection.immutable.SortedMap
-import scala.swing.{BorderPanel, Component, Dimension, Frame, Label, TextField}
-import scala.swing.event.{Key, KeyPressed}
+import scala.swing.{BorderPanel, Component, Dimension, Frame}
import scala.util.matching.Regex
import java.awt.BorderLayout
import java.awt.event.{ComponentEvent, ComponentAdapter}
-import javax.swing.SwingUtilities
-
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/sledgehammer_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -12,7 +12,7 @@
import scala.swing.{Component, Label}
import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter, KeyEvent}
+import java.awt.event.KeyEvent
import org.gjt.sp.jedit.View
import org.gjt.sp.jedit.gui.HistoryTextField
--- a/src/Tools/jEdit/src/state_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/state_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -10,7 +10,6 @@
import isabelle._
import java.awt.BorderLayout
-import java.awt.event.{ComponentEvent, ComponentAdapter}
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/text_overview.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/text_overview.scala Wed Feb 12 00:40:57 2025 +0100
@@ -11,7 +11,7 @@
import scala.annotation.tailrec
-import java.awt.{Graphics, Graphics2D, BorderLayout, Dimension, Color}
+import java.awt.{Graphics, Graphics2D, BorderLayout, Dimension}
import java.awt.event.{MouseAdapter, MouseEvent}
import javax.swing.{JPanel, ToolTipManager}
--- a/src/Tools/jEdit/src/text_structure.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/text_structure.scala Wed Feb 12 00:40:57 2025 +0100
@@ -14,7 +14,6 @@
import org.gjt.sp.jedit.indent.{IndentRule, IndentAction}
import org.gjt.sp.jedit.textarea.{TextArea, StructureMatcher, Selection}
import org.gjt.sp.jedit.buffer.JEditBuffer
-import org.gjt.sp.jedit.Buffer
object Text_Structure {
--- a/src/Tools/jEdit/src/theories_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,12 +9,12 @@
import isabelle._
-import scala.swing.{Button, Label, ScrollPane}
+import scala.swing.{Label, ScrollPane}
import java.awt.BorderLayout
import javax.swing.border.{BevelBorder, SoftBevelBorder}
-import org.gjt.sp.jedit.{View, jEdit}
+import org.gjt.sp.jedit.View
class Theories_Dockable(view: View, position: String) extends Dockable(view, position) {
--- a/src/Tools/jEdit/src/theories_status.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/theories_status.scala Wed Feb 12 00:40:57 2025 +0100
@@ -9,12 +9,10 @@
import isabelle._
-import scala.swing.{ListView, Alignment, Label, CheckBox, BorderPanel, BoxPanel, Orientation,
- Component}
+import scala.swing.{ListView, Alignment, Label, CheckBox, BorderPanel, Component}
import scala.swing.event.{MouseClicked, MouseMoved}
-import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
-import javax.swing.border.{BevelBorder, SoftBevelBorder}
+import java.awt.{Graphics2D, Color, Point, Dimension}
import javax.swing.{JList, BorderFactory, UIManager}
import org.gjt.sp.jedit.View
--- a/src/Tools/jEdit/src/timing_dockable.scala Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Tools/jEdit/src/timing_dockable.scala Wed Feb 12 00:40:57 2025 +0100
@@ -12,11 +12,10 @@
import scala.swing.{Label, ListView, Alignment, ScrollPane, Component, TextField}
import scala.swing.event.{MouseClicked, ValueChanged}
-import java.awt.{BorderLayout, Graphics2D, Insets, Color}
+import java.awt.BorderLayout
import javax.swing.{JList, BorderFactory}
-import javax.swing.border.{BevelBorder, SoftBevelBorder}
-import org.gjt.sp.jedit.{View, jEdit}
+import org.gjt.sp.jedit.View
class Timing_Dockable(view: View, position: String) extends Dockable(view, position) {