equal
deleted
inserted
replaced
627 case Session.Dialog_Result(id, serial, result) if prover.defined => |
627 case Session.Dialog_Result(id, serial, result) if prover.defined => |
628 prover.get.dialog_result(serial, result) |
628 prover.get.dialog_result(serial, result) |
629 handle_output(new Prover.Output(Protocol.Dialog_Result(id, serial, result))) |
629 handle_output(new Prover.Output(Protocol.Dialog_Result(id, serial, result))) |
630 |
630 |
631 case Protocol_Command(name, args) if prover.defined => |
631 case Protocol_Command(name, args) if prover.defined => |
632 prover.get.protocol_command(name, args:_*) |
632 prover.get.protocol_command_args(name, args) |
633 |
633 |
634 case change: Session.Change if prover.defined => |
634 case change: Session.Change if prover.defined => |
635 val state = global_state.value |
635 val state = global_state.value |
636 if (!state.removing_versions && state.is_assigned(change.previous)) |
636 if (!state.removing_versions && state.is_assigned(change.previous)) |
637 handle_change(change) |
637 handle_change(change) |