From d3a51ac24244f586dfeff1a93b68cb084370534e Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Mon, 11 Jan 2021 14:47:13 -0800
Subject: Remove the omega tactic and related options

---
 doc/sphinx/proofs/automatic-tactics/index.rst | 1 -
 1 file changed, 1 deletion(-)

(limited to 'doc/sphinx/proofs')

diff --git a/doc/sphinx/proofs/automatic-tactics/index.rst b/doc/sphinx/proofs/automatic-tactics/index.rst
index c3712b109d..e458c3a9f5 100644
--- a/doc/sphinx/proofs/automatic-tactics/index.rst
+++ b/doc/sphinx/proofs/automatic-tactics/index.rst
@@ -14,7 +14,6 @@ complex goals in new domains.
    :maxdepth: 1
 
    logic
-   ../../addendum/omega
    ../../addendum/micromega
    ../../addendum/ring
    ../../addendum/nsatz
-- 
cgit v1.2.3