← Back to branch summary

~bac/charmworld/tag-constraints

Viewing all changes in revision 492.

  • Committer: Tarmac
  • Author(s): Benji York
  • Date: 2014-03-13 18:36:22 UTC
  • mfrom: (490.1.1 order-free-relations)
  • Revision ID: tarmac-20140313183622-06wvftvq555hkwnm
Proof should accept reversed relations.



https://codereview.appspot.com/75520044/

R=bac.

Approved by Juju Gui Bot.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: