diff --git a/doc/ref.xml b/doc/ref.xml index 3af0e8e..f936ac4 100644 --- a/doc/ref.xml +++ b/doc/ref.xml @@ -1,3 +1,9 @@ + +
For the full specification, see section 6.3 of the