Changes between Version 13 and Version 14 of NameSpaces


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

--

Legend:

Unmodified
Added
Removed
Modified

  • NameSpaces

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