diff options
| author | Théo Zimmermann | 2019-04-19 18:52:26 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-04-30 16:10:17 +0200 |
| commit | 890f206ebea4a14f5be8b273cee4ae8f99ca25e1 (patch) | |
| tree | 5133e28834b5d16ff88fda3212be3f14bf6d8c22 /doc/sphinx/user-extensions | |
| parent | bb4b9469ddf45d76385cdcddf27dc82266a8c73b (diff) | |
Split changes between main changes and other changes (no repetition).
Add more links to PRs and credits of authors.
Diffstat (limited to 'doc/sphinx/user-extensions')
| -rw-r--r-- | doc/sphinx/user-extensions/syntax-extensions.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst index 3ca1dda4d6..ac079ea7d5 100644 --- a/doc/sphinx/user-extensions/syntax-extensions.rst +++ b/doc/sphinx/user-extensions/syntax-extensions.rst @@ -1376,6 +1376,8 @@ Abbreviations denoted expression is performed at definition time. Type checking is done only at the time of use of the abbreviation. +.. _numeral-notations: + Numeral notations ----------------- |