Changes In Branch trunk Through [e4ec6e439b] Excluding Merge-Ins

This is equivalent to a diff from e4ec6e439b to e4ec6e439b

2013-05-24
09:59
Fix [5c3ae7eab8] bug navigateurs avec valeurs d├ęcimales check-in: 5fb2180a32 user: bohwaz tags: stable
2013-05-16
05:20
Release 0.5.3 check-in: e4ec6e439b user: bohwaz tags: stable, 0.5.3
05:16
Correction bug check-in: e9e9dfdedc user: bohwaz tags: stable, 0.5.3