[/] [trunk/] - Rev 19

Last modification (Rev 19 2007-11-27 00:20:37 GMT)

Author:
tbourke
Log message:
Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.