Module: ppl/ppl Branch: master Commit: fe5d848085853879f7cd1ea18f41715bd1496ff0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe5d848085853...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 17 18:57:49 2012 +0100
Wording fixed/improved.
---
README | 4 ++-- README.alpha | 4 ++-- README.arm | 4 ++-- README.configure | 4 ++-- README.solaris | 4 ++-- STANDARDS | 4 ++-- doc/README.doc | 4 ++-- doc/devref-language-interface.tex | 4 ++-- doc/devref.tex | 4 ++-- doc/user-language-interface.tex | 4 ++-- doc/user.tex | 4 ++-- tests/README | 4 ++-- 12 files changed, 24 insertions(+), 24 deletions(-)
Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=fe5d84808...