Changes between Version 25 and Version 26 of PatternSynonyms


Ignore:
Timestamp:
Dec 2, 2013 11:50:08 AM (20 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 ==