Trac #30595: Remove deprecated sage.libs.ppl

In #23024 (merged in Sage 8.7), `sage.libs.ppl` was deprecated and all uses converted to using the standalone library `pplpy`. We remove the deprecated library. URL: https://trac.sagemath.org/30595 Reported by: mkoeppe Ticket author(s): Matthias Koeppe Reviewer(s): Frédéric Chapoton
sagemath · Sep 26, 2020 · 97802f6 · 97802f6
2 parents 9ed2f32 + 8c51242
commit 97802f6
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 7,393 deletions.
diff --git a/src/doc/en/reference/libs/index.rst b/src/doc/en/reference/libs/index.rst
@@ -138,13 +138,6 @@ PARI
    sage/libs/pari/convert_sage
    sage/rings/pari_ring
 
-PPL
----
-.. toctree::
-   :maxdepth: 2
-
-   sage/libs/ppl
-
 ratpoints
 ---------
 .. toctree::