[PPL-devel] [GIT] ppl/ppl(master): Updated.
Roberto Bagnara
bagnara at cs.unipr.it
Sun Nov 13 20:00:42 CET 2011
Module: ppl/ppl
Branch: master
Commit: 6d8262280e99982010e8914740b5df3b195c4bc5
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d8262280e99982010e8914740b5df3b195c4bc5
Author: Roberto Bagnara <bagnara at 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
More information about the PPL-devel
mailing list