type_at: no quotes;

--- a/src/Tools/jEdit/src/prover/Command.scala	Tue Jun 02 21:44:16 2009 +0200
+++ b/src/Tools/jEdit/src/prover/Command.scala	Tue Jun 02 21:46:32 2009 +0200
@@ -104,7 +104,7 @@
     val types = markup_root.filter(_.info match { case TypeInfo(_) => true case _ => false })
     types.flatten(_.flatten).
       find(t => t.start <= pos && t.stop > pos).
-      map(t => "\"" + t.content + "\" : " + (t.info match { case TypeInfo(i) => i case _ => "" })).
+      map(t => t.content + ": " + (t.info match { case TypeInfo(i) => i case _ => "" })).
       getOrElse(null)
   }