Changes between Version 11 and Version 12 of NameSpaces

Timestamp:

2017-09-11 14:28:18 (8 years ago)

Author:

archibald

Comment:

--

NameSpaces

@@ -31 +31 @@
 {{{#!div style="background: #ffd; border: 3px ridge"
 namespaceClause := "NAMESPACE" newNameSpaceClause  { "-" { existingNameSpaceClause }+ };
+
 newNameSpaceClause := { "$" ident { ":" ident }* | ident { ":" ident }* };
+
 existingNameSpaceClause := { "$" ident { ":" ident }* | ident { ":" ident }* };
 }}}