Changes between Version 25 and Version 26 of PatternSynonyms


Ignore:
Timestamp:
Dec 2, 2013 11:50:08 AM (5 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • PatternSynonyms

    v25 v26  
    44 
    55See the [wiki:PatternSynonyms/Implementation implementation] page for implementation details. 
     6 
     7Relevant open tickets: 
     8 * #8581 
     9 * #8582 
     10 * #8583 
     11 * #8584 
    612 
    713== Motivating example ==