| Thu, 19 May 2011 19:57:59 +0200 | hoelzl | add product of probability spaces with finite cardinality | changeset | files |
| Thu, 19 May 2011 18:11:15 +0200 | hoelzl | remove double sum_over_space_real_distribution | changeset | files |
| Thu, 19 May 2011 18:09:20 +0200 | bulwahn | a deeper understanding of the code generation adaptation compared to 9079f49053e5 | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | updated option documentation | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | renamed "simple_types" to "simple" | changeset | files |
| Thu, 19 May 2011 10:24:13 +0200 | blanchet | since we always default on the "_light" encoding (for good reasons, according to Judgment Day), get rid of that suffix | changeset | files |