Command: added name field and toString;

--- a/src/Tools/jEdit/src/prover/Command.scala	Tue Jan 20 22:30:54 2009 +0100
+++ b/src/Tools/jEdit/src/prover/Command.scala	Tue Jan 20 22:55:45 2009 +0100
@@ -74,6 +74,9 @@
 
   /* content */
 
+  override def toString = name
+
+  val name = text.content(first.start, first.stop)
   val content = text.content(proper_start, proper_stop)
 
   def next = if (last.next != null) last.next.command else null