equal
deleted
inserted
replaced
201 val commands_changed = new Session.Outlet[Session.Commands_Changed](dispatcher) |
201 val commands_changed = new Session.Outlet[Session.Commands_Changed](dispatcher) |
202 val phase_changed = new Session.Outlet[Session.Phase](dispatcher) |
202 val phase_changed = new Session.Outlet[Session.Phase](dispatcher) |
203 val syslog_messages = new Session.Outlet[Prover.Output](dispatcher) |
203 val syslog_messages = new Session.Outlet[Prover.Output](dispatcher) |
204 val raw_output_messages = new Session.Outlet[Prover.Output](dispatcher) |
204 val raw_output_messages = new Session.Outlet[Prover.Output](dispatcher) |
205 val trace_events = new Session.Outlet[Simplifier_Trace.Event.type](dispatcher) |
205 val trace_events = new Session.Outlet[Simplifier_Trace.Event.type](dispatcher) |
206 val debugger_updates = new Session.Outlet[Debugger.Update](dispatcher) |
206 val debugger_updates = new Session.Outlet[Debugger.Update.type](dispatcher) |
207 |
207 |
208 val all_messages = new Session.Outlet[Prover.Message](dispatcher) // potential bottle-neck! |
208 val all_messages = new Session.Outlet[Prover.Message](dispatcher) // potential bottle-neck! |
209 |
209 |
210 |
210 |
211 /** main protocol manager **/ |
211 /** main protocol manager **/ |