Changeset 858


Ignore:
Timestamp:
May 30, 2011, 4:43:05 PM (8 years ago)
Author:
sacerdot
Message:

If then else notation improved.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Util.ma

    r857 r858  
    146146notation > "'if' term 19 e 'then' term 19 t 'else' term 48 f" non associative with precedence 19
    147147 for @{ match $e in bool with [ true ⇒ $t | false ⇒ $f]  }.
    148 notation < "hvbox('if' \nbsp term 19 e \nbsp break 'then' \nbsp term 19 t \nbsp break 'else' \nbsp term 48 f \nbsp" non associative with precedence 19
     148notation < "hvbox('if' \nbsp term 19 e \nbsp break 'then' \nbsp term 19 t \nbsp break 'else' \nbsp term 48 f \nbsp)" non associative with precedence 19
    149149 for @{ match $e with [ true ⇒ $t | false ⇒ $f]  }.
    150150
Note: See TracChangeset for help on using the changeset viewer.