Update elpi doc to 2.0.5.

LPCIC · Dec 5, 2024 · b9ed6ed · b9ed6ed
1 parent 91e0604
commit b9ed6ed
Show file tree

Hide file tree

Showing 289 changed files with 1,374 additions and 20,525 deletions.
diff --git a/_sources/about.rst.txt b/_sources/about.rst.txt
diff --git a/_sources/index.rst.txt b/_sources/index.rst.txt