merge changeset 9346 in the 4.2 branches
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 12:25:29 +0000 (12:25 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 14 May 2008 12:25:29 +0000 (12:25 +0000)
commitefcd0f6bcfc1a29e6c1dde6e723fd804176dad3f
tree8e6a23e9aea7e3f5284af02f9e71c17f92cf876b
parentb93a3cedc29dc102234aff53464ac905d895cb6e
merge changeset 9346 in the 4.2 branches
doc/Makefile
doc/PLCAPI.xml.in [moved from doc/PLCAPI.xml with 99% similarity]