Changes between Version 15 and Version 16 of NameSpaces

Timestamp:

2017-09-11 16:10:12 (8 years ago)

Author:

archibald

Comment:

--

NameSpaces

@@ -31 +31 @@
 {{{#!div style="background: #ffd; border: 3px ridge"
 namespaceClause := "NAMESPACE" newNameSpaceClause  { "-" { existingNameSpaceClause }+ };
+[[Image(namespaceClause.png,width=100%)]]
 
 newNameSpaceClause := { "$" ident { ":" ident }* | ident { ":" ident }* };
+[[Image(newNamespaceClause.png,width=100%)]]
 
-existingNameSpaceClause := { "$" ident { ":" ident }* | ident { ":" ident }* };
-[[Image(existingNamespaceClause.png)]]
+existingNameSpaceClause := { "$" ident { ":" ident }* | ident { ":" ident }* };[[BR]]
+[[Image(existingNamespaceClause.png,width=100%)]]
 }}}