diff options
author | Lysxia <lysxia@gmail.com> | 2018-06-29 21:17:32 -0400 |
---|---|---|
committer | Lysxia <lysxia@gmail.com> | 2018-06-30 09:36:20 -0400 |
commit | 2ecec19501ebc3c98033fe1f212e85731473e2c7 (patch) | |
tree | cbef781119699cfe7291509b63fccf077c953c17 /doc/sphinx/language | |
parent | e25d69f5d47f7ad6584bf54ea48e42fd482c95e0 (diff) |
doc: typesetting and hyperlinks in Syntax Extensions
Diffstat (limited to 'doc/sphinx/language')
-rw-r--r-- | doc/sphinx/language/gallina-specification-language.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/sphinx/language/gallina-specification-language.rst b/doc/sphinx/language/gallina-specification-language.rst index c26ae2a93..ec99ccbee 100644 --- a/doc/sphinx/language/gallina-specification-language.rst +++ b/doc/sphinx/language/gallina-specification-language.rst @@ -38,6 +38,7 @@ At the end, the notation “``[entry sep … sep entry]``” stands for a possibly empty sequence of expressions parsed by the “``entry``” entry, separated by the literal “``sep``”. +.. _lexical-conventions: Lexical conventions =================== |