src/Tools/jEdit/src/proofdocument/command.scala

--- a/src/Tools/jEdit/src/proofdocument/command.scala	Mon Jan 11 01:40:18 2010 +0100
+++ b/src/Tools/jEdit/src/proofdocument/command.scala	Mon Jan 11 12:17:47 2010 +0100
@@ -35,10 +35,6 @@
     val span: Thy_Syntax.Span)
   extends Session.Entity
 {
-  // FIXME override equality as well
-  override def hashCode = id.hashCode
-
-
   /* classification */
 
   def is_command: Boolean = !span.isEmpty && span.first.is_command