+ Some changes after remarks from reader.

docs/syntax/assign.syn

@@ -7,6 +7,7 @@
 \( 
 \lit*{:=} \\
 \lit*{+=} \\
+\lit*{-=} \\
 \lit*{*=} \\
 \lit*{/=}
 \)

docs/syntax/numbers.syn

@@ -33,15 +33,12 @@ sign \begin{stack} \lit* + \\ \lit* - \end{stack}
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{unsigned\ real} \synt{digit\ sequence} 
-\begin{stack}
-  \begin{stack} \\
+\[
     \lit . \synt{digit\ sequence} 
-  \end{stack}
-  \begin{stack} \\
-    \synt{scale\ factor} 
-  \end{stack} \\
-  \synt{scale\ factor} 
-\end{stack}
+\]
+\[
+ \synt{scale\ factor} 
+\]
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{scale\ factor} \begin{stack} \lit*{E} \\ \lit*{e} \end{stack}

docs/syntax/property.syn

@@ -7,6 +7,9 @@
 \begin{mysyntdiag}
 \synt{property\ interface}
 \[ \synt{property\ parameter\ list}\] \lit*: \synt{type\ identifier}
+\[
+\lit*{index} \synt{integer constant}
+\]
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{property\ parameter\ list} \lit*[

docs/syntax/typeclas.syn

@@ -1,4 +1,4 @@
-\begin{diagram}{Class type}{classtype}
+\begin{diagram}{Class types}{classtype}
 \begin{mysyntdiag}
 \[ \lit*{packed} \]
 \lit*{class} 

docs/syntax/typeenum.syn

@@ -1,4 +1,4 @@
-\begin{diagram}{Enumerated type}{enumeratedtype}
+\begin{diagram}{Enumerated types}{enumeratedtype}
 \begin{mysyntdiag}
 \synt{enumerated\ type} \lit* ( 
 \begin{rep}[b]

docs/syntax/typeobj.syn

@@ -1,4 +1,4 @@
-\begin{diagram}{object type}{objecttype}
+\begin{diagram}{object types}{objecttype}
 \begin{mysyntdiag}
 \[ \lit*{packed} \]
 \lit*{object} 

docs/syntax/typeproc.syn

@@ -1,11 +1,11 @@
-\begin{diagram}{Procedural Types}{Procedural types}
+\begin{diagram}{Procedural types}{proceduraltypes}
 \begin{mysyntdiag}
 \synt{procedural\ type} 
 \( \synt{function\ header} \\ 
    \synt{procedure\ header}
 \)
 \[ \lit*{of} \lit*{object} \]
-\[ \synt{call\ modifiers} \] 
+\[ \lit* ; \synt{call\ modifiers} \] 
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{function\ header} \lit*{function} \synt{formal\ parameter\ list}

docs/syntax/typerec.syn

@@ -17,6 +17,7 @@
 \end{mysyntdiag}
 \begin{mysyntdiag}
 \synt{variant\ part} 
+\lit*{case}
 \[ \synt{identifier} \lit*: \] 
 \synt{ordinal\ type\ identifier} 
 \lit*{of} \<[b] \synt{variant} \\ \lit*; \>