tree bb36884185b0bfa99c16338403fc5736cbd7eba9
parent f450303321c4d37d908d5d9e6fcf480f27bf53e3
author Gael Guennebaud <g.gael@free.fr> 1356352402 +0100
committer Gael Guennebaud <g.gael@free.fr> 1356352402 +0100

Fix several documentation issues