Commit 1f45e5fd80fdff25273b44fc01c11460c8d7cefc

Stefano Lattarini 2011-07-03T15:46:55

Merge branch 'master' into testsuite-work * master: docs, tests: synchronize examples from docs to tests