src/Pure/System/session.scala

--- a/src/Pure/System/session.scala	Thu Sep 01 23:08:42 2011 +0200
+++ b/src/Pure/System/session.scala	Fri Sep 02 11:52:13 2011 +0200
@@ -253,7 +253,7 @@
       {
         if (!global_state().defined_command(command.id)) {
           global_state.change(_.define_command(command))
-          prover.get.define_command(command.id, Symbol.encode(command.source))
+          prover.get.define_command(command)
         }
       }
       doc_edits foreach {