From 748d716efb2f2f75946c8386e441ce1789806a39 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 22 May 2019 13:43:08 +0200
Subject: htmldoc regenerated
---
docs/htmldoc/mathcomp.algebra.all_algebra.html | 1 +
1 file changed, 1 insertion(+)
(limited to 'docs/htmldoc/mathcomp.algebra.all_algebra.html')
diff --git a/docs/htmldoc/mathcomp.algebra.all_algebra.html b/docs/htmldoc/mathcomp.algebra.all_algebra.html
index 452a97e..4da03f5 100644
--- a/docs/htmldoc/mathcomp.algebra.all_algebra.html
+++ b/docs/htmldoc/mathcomp.algebra.all_algebra.html
@@ -22,6 +22,7 @@
Require Export ssralg.
Require Export ssrnum.
Require Export finalg.
+Require Export countalg.
Require Export poly.
Require Export polydiv.
Require Export polyXY.
--
cgit v1.2.3