Comment 3 for bug 676465

Revision history for this message
Paul Sladen (sladen) wrote :

Bruno: the critical pairs that need to be aligned are:

  -> <-
  <= =>
  -= +=

and ideally:

  *=