Ignore:
Timestamp:
Apr 26, 2012, 5:38:07 PM (8 years ago)
Author:
fguidi
Message:

notation fixup following last commit of matita
we shifted the levels of precedence from 50 to 60 up by 5

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/joint/Joint_paolo.ma

    r1882 r1908  
    7474  | extension: ext_step p → joint_step p globals.
    7575
    76 notation "r ← a1 .op. a2" with precedence 55 for
     76notation "r ← a1 .op. a2" with precedence 60 for
    7777  @{'op2 $op $r $a1 $a2}.
    78 notation "r ← . op . a" with precedence 55 for
     78notation "r ← . op . a" with precedence 60 for
    7979  @{'op1 $op $r $a}.
    80 notation "r ← a" with precedence 55 for
     80notation "r ← a" with precedence 60 for
    8181  @{'mov $r $a}. (* to be set in individual languages *)
    82 notation "❮r, s❯ ← a1 . op . a2" with precedence 50 for
     82notation "❮r, s❯ ← a1 . op . a2" with precedence 55 for
    8383  @{'opaccs $op $r $s $a1 $a2}.
    8484
Note: See TracChangeset for help on using the changeset viewer.