Changeset 1908 for src/joint/Joint_paolo.ma
 Timestamp:
 Apr 26, 2012, 5:38:07 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/joint/Joint_paolo.ma
r1882 r1908 74 74  extension: ext_step p → joint_step p globals. 75 75 76 notation "r ← a1 .op. a2" with precedence 55for76 notation "r ← a1 .op. a2" with precedence 60 for 77 77 @{'op2 $op $r $a1 $a2}. 78 notation "r ← . op . a" with precedence 55for78 notation "r ← . op . a" with precedence 60 for 79 79 @{'op1 $op $r $a}. 80 notation "r ← a" with precedence 55for80 notation "r ← a" with precedence 60 for 81 81 @{'mov $r $a}. (* to be set in individual languages *) 82 notation "❮r, s❯ ← a1 . op . a2" with precedence 5 0for82 notation "❮r, s❯ ← a1 . op . a2" with precedence 55 for 83 83 @{'opaccs $op $r $s $a1 $a2}. 84 84
Note: See TracChangeset
for help on using the changeset viewer.