Update elpi doc to 1.19.0.

LPCIC · May 2, 2024 · c8fbb04 · c8fbb04
1 parent 44c82a6
commit c8fbb04
Show file tree

Hide file tree

Showing 209 changed files with 657 additions and 22,743 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