--- a/src/Tools/jEdit/src/prover/Prover.scala Mon Dec 29 21:01:55 2008 +0100
+++ b/src/Tools/jEdit/src/prover/Prover.scala Fri Jan 02 15:34:56 2009 +0100
@@ -156,12 +156,8 @@
cmd.status = Command.Status.UNPROCESSED
commands.put(cmd.id, cmd)
- val props = new Properties
- props.setProperty(Markup.ID, cmd.id)
- props.setProperty(Markup.OFFSET, "1")
-
val content = isabelle_symbols.encode(document.getContent(cmd))
- process.create_command(props, content)
+ process.create_command(cmd.id, content)
process.insert_command(if (cmd.previous == null) "" else cmd.previous.id, cmd.id)
}