prov: changeset 118:031cd4bd7e8e

--- a/model/grammar.html	Thu Aug 04 23:23:08 2011 +0100
+++ b/model/grammar.html	Thu Aug 04 23:24:48 2011 +0100
@@ -5,8 +5,8 @@
                 | &lt;time&gt;
                 | &lt;properties&gt;
 
-&lt;properties&gt; ::= [ &lt;attribute-value*&gt; ]
-&lt;attribute-value*&gt; ::=   | &lt;attribute-value&gt; ',' &lt;attribute-value*&gt;
+&lt;properties&gt; ::= '[' &lt;attribute-value*&gt; ']'
+&lt;attribute-value*&gt; ::=   &lt;attribute-value&gt; | &lt;attribute-value&gt; ',' &lt;attribute-value*&gt;
 &lt;attribute-value&gt; ::= &lt;attribute&gt; ':' &lt;value&gt;
 
 &lt;value&gt; ::= &lt;string&gt; | &lt;number&gt; | &lt;time&gt;
@@ -14,4 +14,4 @@
 
 &lt;role&gt;        ::= token
 &lt;identifier&gt;  ::= token
-&lt;attribute&gt;  ::= token
+&lt;attribute&gt;   ::= token

--- a/model/grammar.txt	Thu Aug 04 23:23:08 2011 +0100
+++ b/model/grammar.txt	Thu Aug 04 23:24:48 2011 +0100
@@ -5,7 +5,7 @@
                 | <time>
                 | <properties>
 
-<properties> ::= [ <attribute-value*> ]
+<properties> ::= '[' <attribute-value*> ']'
 <attribute-value*> ::=   | <attribute-value> ',' <attribute-value*>
 <attribute-value> ::= <attribute> ':' <value>
 
@@ -14,4 +14,4 @@
 
 <role>        ::= token
 <identifier>  ::= token
-<attribute>  ::= token
+<attribute>   ::= token

author	Luc Moreau <l.moreau@ecs.soton.ac.uk>
	Thu, 04 Aug 2011 23:24:48 +0100
changeset 118	031cd4bd7e8e
parent 117	f2c99327bf7c
child 119	30893ce7cf9e

model/grammar.html
model/grammar.txt