CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto@cs.unipr.it 2003-04-08 19:45:51 Modified files: . : TODO Log message: For the moment, it is convenient to have Matrix::set_sorted(bool value) instead of, say, Matrix::set_sorted() and Matrix::set_unsorted(). Sortedness will have to be dealt with at a more fundamental level anyway. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.44&...