Merge branch 'alchemy'
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 4 Mar 2012 15:23:58 +0000 (16:23 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 4 Mar 2012 15:23:58 +0000 (16:23 +0100)
commit0c7d82b7563382410a4023cd2d11b5596e5b3115
tree2470158e9b38fa1e32efc5e162855b4dc2a89a55
parent35b6e6e9d7f65943b6016e9595e5dc6bb777d634
parent8f9a4d651f7ec2b9241c7bed8cdbed2ceb869598
Merge branch 'alchemy'