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
authorimmler@in.tum.de
Thu, 27 Aug 2009 10:51:09 +0200
changeset 34668 51e98c01cbd6
parent 34667 3f20110dfe2f
child 34669 73727c7eec64
unused
src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Thu Aug 27 10:51:09 2009 +0200
+++ b/src/Tools/jEdit/src/jedit/IsabelleHyperlinkSource.scala	Thu Aug 27 10:51:09 2009 +0200
@@ -52,7 +52,6 @@
       val document = theory_view.current_document()
       val offset = theory_view.from_current(document, original_offset)
       val cmd = document.find_command_at(offset)
-      val state = document.states(cmd)
       if (cmd != null) {
         val ref_o = cmd.ref_at(document, offset - cmd.start(document))
         if (!ref_o.isDefined) null
isabelle