namespace module is gone, plxrn provides PL-specific translations
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 19 Oct 2010 10:53:00 +0000 (13:53 +0300)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 19 Oct 2010 10:53:00 +0000 (13:53 +0300)
helper functions re-implemented on top of (pl)xrn - temporarily


No differences found