Changes between Version 12 and Version 13 of NameSpaces


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

--

Legend:

Unmodified
Added
Removed
Modified

  • NameSpaces

    v12 v13  
    3535 
    3636existingNameSpaceClause := { "$" ident { ":" ident }* | ident { ":" ident }* }; 
     37[[Image:existingNamespace.png]] 
    3738}}}