diff options
| author | Vincent Laporte | 2020-04-27 18:02:37 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2020-04-27 18:02:37 +0200 |
| commit | f9f47108598fa2dfe705a4a58956803a4918bc52 (patch) | |
| tree | 149311ec9263571bcdeea5f3dc9625c7690794a5 /doc/sphinx/addendum | |
| parent | e0d7b05789d7c6d341d3001c227d99a278743fd1 (diff) | |
| parent | 0a38eb0630cab142f3d470e561ddb5090055068a (diff) | |
Merge PR #12132: [refman] Remove references to omega from Tactics chapter.
Reviewed-by: vbgl
Diffstat (limited to 'doc/sphinx/addendum')
| -rw-r--r-- | doc/sphinx/addendum/omega.rst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/sphinx/addendum/omega.rst b/doc/sphinx/addendum/omega.rst index 082ea4691b..e1b1ee8e8d 100644 --- a/doc/sphinx/addendum/omega.rst +++ b/doc/sphinx/addendum/omega.rst @@ -1,4 +1,4 @@ -.. _omega: +.. _omega_chapter: Omega: a solver for quantifier-free problems in Presburger Arithmetic ===================================================================== @@ -28,6 +28,7 @@ Description of ``omega`` ------------------------ .. tacn:: omega + :name: omega .. deprecated:: 8.12 |