[PPL-devel] [GIT] ppl/ppl(master): Get rid of pretty_printing stuff. A string wrapping function is made

[Roberto Bagnara]

Basile STARYNKEVITCH wrote:
> [...]

Please, do not worry: I have promised I will mail you when we are ready
and I usually keep promises.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it