Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument
[linpy.git] / doc / Makefile
2014-08-05 Vivien MaisonneuveRename pypol into LinPy
2014-06-25 Vivien MaisonneuveDocumentation directory