| changeset 55618 | 995162143ef4 |
| parent 45673 | cd41e3903fbf |
| child 56686 | 2386d1a3ca8f |
| 55617:2c585bb9560c | 55618:995162143ef4 |
|---|---|
4 |
4 |
5 Generic event bus with multiple receiving actors. |
5 Generic event bus with multiple receiving actors. |
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle |
9 |
|
9 |
10 |
10 import scala.actors.Actor, Actor._ |
11 import scala.actors.Actor, Actor._ |
11 import scala.collection.mutable.ListBuffer |
12 import scala.collection.mutable.ListBuffer |
12 |
13 |
13 |
14 |