fix old bug about doc strings for mapped methods
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 23 May 2012 09:35:56 +0000 (11:35 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 23 May 2012 09:35:56 +0000 (11:35 +0200)
trim TestPlc accordingly, have the doc where it belongs
split sfa_view into sfa_list sfa_show and sfa_slices


No differences found