Merge branch 'thgeneric'
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 6 Nov 2011 19:59:24 +0000 (20:59 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Sun, 6 Nov 2011 19:59:24 +0000 (20:59 +0100)
introduce the notion of driver, with PlDriver (that inherits PlShell)


No differences found