--- a/src/Tools/jEdit/src/proofdocument/session.scala	Sun Jan 10 21:14:44 2010 +0100
+++ b/src/Tools/jEdit/src/proofdocument/session.scala	Mon Jan 11 01:40:18 2010 +0100
@@ -90,7 +90,7 @@
               case Some(command) =>
                 if (!lookup_command(command.id).isDefined) {
                   register(command)
-                  prover.define_command(command.id, system.symbols.encode(command.content))
+                  prover.define_command(command.id, system.symbols.encode(command.source))
                 }
                 Some(command.id)
             })