changeset 34833 | 683ddf358698 |
parent 34831 | 4ad3298781d9 |
child 34835 | 67733fd0e3fa |
34832:d785f72ef388 | 34833:683ddf358698 |
---|---|
85 prover.define_command(command.id, system.symbols.encode(command.content)) |
85 prover.define_command(command.id, system.symbols.encode(command.content)) |
86 Some(command.id) |
86 Some(command.id) |
87 }) |
87 }) |
88 } |
88 } |
89 register(doc) |
89 register(doc) |
90 prover.edit_document(change.parent.get.document.id, doc.id, id_changes) |
90 prover.edit_document(change.parent.get.id, doc.id, id_changes) |
91 } |
91 } |
92 |
92 |
93 |
93 |
94 /* prover results */ |
94 /* prover results */ |
95 |
95 |