URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee5feefeaf50e... Author: Marco Poletti <poletti.marco@gmail.com> Date: Thu Dec 30 19:19:33 2010 +0100 Linear_System.cc: put all definitions in the PPL namespace. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0d1f436dcd4fb... Author: Marco Poletti <poletti.marco@gmail.com> Date: Thu Dec 30 19:09:44 2010 +0100 Polyhedron: add a typedef for Linear_System_Class and use it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bbeb88aff47eb... Author: Marco Poletti <poletti.marco@gmail.com> Date: Thu Dec 30 18:51:37 2010 +0100 Generator_System: add a typedef for Base and use it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6697684f485e2... Author: Marco Poletti <poletti.marco@gmail.com> Date: Thu Dec 30 18:51:22 2010 +0100 Constraint_System: add a typedef for Base and use it. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=367354e75d384... Author: Marco Poletti <poletti.marco@gmail.com> Date: Thu Dec 30 17:59:10 2010 +0100 Congruence_System, Linear_System: fix some regressions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1fed237c999cc... Author: Marco Poletti <poletti.marco@gmail.com> Date: Thu Dec 30 17:54:49 2010 +0100 Revert "Make Linear_System a class template. Replace uses of Linear_System with uses of Linear_System<Linear_Row>." This reverts commit 81176f32cb9621c3562e169fa365fc56f49271a7.