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)
commit89d0fa4efde57cb62445af75c16bdc42bc03693a
tree83e9f13af0eb268cd7c0db4d3534b6078be7b04a
parent5fb03530e3624dcee6a35cb05a4753dbe0a4d934
parent561044a25626b0c874f644886539ede0053967fc
Merge branch 'thgeneric'

introduce the notion of driver, with PlDriver (that inherits PlShell)
setup.py