Changes between Version 14 and Version 15 of NameSpaces


Ignore:
Timestamp:
2017-09-11 16:03:57 (8 years ago)
Author:
archibald
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • NameSpaces

    v14 v15  
    3535 
    3636existingNameSpaceClause := { "$" ident { ":" ident }* | ident { ":" ident }* }; 
    37 [[Image(existingNamespace.png)]] 
     37[[Image(existingNamespaceClause.png)]] 
    3838}}}