Merge pull request #618 from Eelis/grammarfixes

[gram] Synchronize grammar for namespace-name

Author: zygoloid

source/grammar.tex

@@ -32,12 +32,9 @@
 
 \begin{bnf}
 namespace-name:\br
-	original-namespace-name\br
+	identifier\br
 	namespace-alias
 
-original-namespace-name:\br
-	identifier
-
 namespace-alias:\br
 	identifier
 \end{bnf}

tools/grambase.tex

@@ -32,12 +32,9 @@
 
 \begin{bnf}
 namespace-name:\br
-	original-namespace-name\br
+	identifier\br
 	namespace-alias
 
-original-namespace-name:\br
-	identifier
-
 namespace-alias:\br
 	identifier
 \end{bnf}