documentation update

Brought to you by: garzol

#10 documentation update

Status: open

Owner: equation

Labels: documentation (2)

Priority: 8

Updated: 2003-04-14

Created: 2003-04-14

Private: No

faire une update de documentation provenant de la partie
haute de la doc extraite (et la mettre ŕ jour en tenant
compte des ocamaweb4xxx).