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.
unused;
authorwenzelm
Sun, 03 Nov 2024 20:00:54 +0100
changeset 81324 0ec5131899b6
parent 81323 33fbf90fbc1d
child 81325 458e9e3b356e
unused;
src/Tools/jEdit/src/jedit_bibtex.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit_bibtex.scala	Sun Nov 03 19:38:30 2024 +0100
+++ b/src/Tools/jEdit/src/jedit_bibtex.scala	Sun Nov 03 20:00:54 2024 +0100
@@ -15,7 +15,6 @@
 import java.awt.event.{ActionListener, ActionEvent}
 
 import javax.swing.text.Segment
-import javax.swing.tree.DefaultMutableTreeNode
 import javax.swing.{JMenu, JMenuItem}
 
 import org.gjt.sp.jedit.Buffer
isabelle