Rename Domain.project_out() into Domain.project()
[linpy.git] / examples / diamond.py
2014-07-04 Vivien MaisonneuveRename Domain.project_out() into Domain.project()
2014-07-01 Vivien MaisonneuveOverloading for Domains.project_out(), to be improved
2014-07-01 Vivien MaisonneuveFix make test
2014-07-01 Vivien MaisonneuveAdd diamond example