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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 13 19:59:37 2011 +0100

Updated.

---

devtools/vocabulary | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/devtools/vocabulary b/devtools/vocabulary index d8a9539..fe50219 100644 --- a/devtools/vocabulary +++ b/devtools/vocabulary @@ -1,4 +1,4 @@ -TOTAL_COUNT 593634 +TOTAL_COUNT 593644 a 5311 ab 1 abandon 18 @@ -60,12 +60,12 @@ additive 28 address 1 addressed 1 adds 125 -adj 4 adjacency 3 adjacent 10 adjust 56 adjusted 37 adjusting 7 +adjustment 6 adjusts 3 admitted 8 adopt 1 @@ -3148,6 +3148,7 @@ sqrt 79 square 39 squared 7 squareness 2 +squares 5 sr 4 src 57 srl 361 @@ -3588,6 +3589,7 @@ vanish 5 var 1994 variable 1506 variables 702 +variance 3 variant 6 variants 2 variation 1