Changes between Version 19 and Version 20 of NameSpaces

Timestamp:

2017-09-11 21:08:16 (8 years ago)

Author:

archibald

Comment:

--

NameSpaces

@@ -27 +27 @@
 
     SYNTAX
-        namespaceClause := "NAMESPACE" newNameSpaceClause { "-" { existingNameClause }+ };
-        newNameSpaceClause := { "$" ident { ":" ident }* | ident { ":" ident }+ };
-        existingNameClause := { "$" ident { ":" ident }* | ident { ":" ident }+ };
+        namespaceClause := "NAMESPACE" newNameSpaceClause ( "-" ( existingNameClause )+ );
+        newNameSpaceClause := ( "$" ident ( ":" ident )* | ident ( ":" ident )+ );
+        existingNameClause := ( "$" ident ( ":" ident )* | ident ( ":" ident )+ );
 }}}