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/stdlib/hidden-files | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files
index e4f0967794..bca66cc61b 100644
--- a/doc/stdlib/hidden-files
+++ b/doc/stdlib/hidden-files
@@ -58,10 +58,7 @@ theories/micromega/ZifyPow.v
 theories/micromega/Zify.v
 theories/nsatz/NsatzTactic.v
 theories/nsatz/Nsatz.v
-theories/omega/Omega.v
 theories/omega/OmegaLemmas.v
-theories/omega/OmegaPlugin.v
-theories/omega/OmegaTactic.v
 theories/omega/PreOmega.v
 theories/quote/Quote.v
 theories/romega/ROmega.v
-- 
cgit v1.2.3