Changes between Version 23 and Version 24 of PatternSynonyms


Ignore:
Timestamp:
Dec 1, 2013 4:47:41 AM (5 months ago)
Author:
cactus
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v23 v24  
    8181* `pattern` ''conid'' ''varid,,1,,'' ... ''varid,,n,,'' `:=` ''pat'' 
    8282* `pattern` ''conid'' ''varid,,1,,'' ... ''varid,,n,,'' `->` ''pat'' 
     83* `pattern` ''conid'' ''varid,,1,,'' ... ''varid,,n,,'' `<-` ''pat'' 
    8384}}} 
    8485