Module: ppl/ppl Branch: master Commit: 8ab3511cb404b3df60e2717a57313e1d6dad59b8 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8ab3511cb404b...

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 8 12:09:20 2011 +0100

Updated.

---

devtools/good_items | 263 +++++++++++++++++++++++++++++++++++++++++++++++++++ devtools/good_words | 10 +-- devtools/vocabulary | 218 ++++++------------------------------------ 3 files changed, 294 insertions(+), 197 deletions(-)

Diff: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=8ab3511cb...