[PPL-devel] [GIT] ppl/ppl(master): More words added.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Nov  7 08:42:13 2011 +0100

More words added.

---

 devtools/vocabulary |   33 ++++++++++++++++++++++++++++++++-
 1 files changed, 32 insertions(+), 1 deletions(-)

diff --git a/devtools/vocabulary b/devtools/vocabulary
index ae5e555..9fd9c7d 100644
--- a/devtools/vocabulary
+++ b/devtools/vocabulary
@@ -1,4 +1,4 @@
-TOTAL_COUNT	593525
+TOTAL_COUNT	600795
 a	5311
 ab	1
 abandon	18
@@ -142,6 +142,7 @@ anyway	6
 ap	29
 apart	4
 api	6
+app	2
 apparently	2
 appear	4
 appearances	8
@@ -433,6 +434,7 @@ certificates	19
 certified	2
 certify	2
 cg	608
+cgs	632
 ch	21
 chain	14
 chains	1
@@ -779,6 +781,7 @@ data	315
 date	1033
 day	1
 db	482
+dbm	819
 dbm	820
 dd	19
 deadline	40
@@ -796,6 +799,7 @@ dec	31
 decide	4
 decided	2
 decision	100
+decl	37
 declaration	94
 declarations	53
 declare	120
@@ -839,6 +843,7 @@ delimited	1
 delimiter	2
 delta	40
 den	950
+denom	123
 denominator	950
 denominators	35
 denorm	25
@@ -901,6 +906,7 @@ diagonal	54
 diagonals	1
 dictated	13
 did	2
+dies	1
 diff	88
 differ	1
 difference	249
@@ -1349,6 +1355,7 @@ four	8
 fourth	8
 fprintf	18
 fpu	240
+frac	98
 fraction	15
 fractional	10
 fractions	2
@@ -1563,6 +1570,7 @@ ignored	114
 ignores	3
 ignoring	7
 ii	136
+ij	138
 illegal	13
 image	272
 images	5
@@ -1655,6 +1663,7 @@ info	1277
 informally	1
 information	352
 infty	44
+ingroup	151
 inherit	6
 inheritance	1
 inherited	22
@@ -1801,6 +1810,7 @@ itself	16
 iv	13
 ix	5
 j	2621
+ji	8
 jmp	1
 job	4
 join	19
@@ -1883,6 +1893,7 @@ letting	3
 level	97
 lexicographic	12
 lexicographically	3
+lf	299
 lhs	554
 li	36
 lib	6
@@ -1960,6 +1971,7 @@ lowest	1
 lp	179
 lpsol	2
 lr	7
+lrs	1
 ls	34
 lt	151
 lub	2
@@ -2238,11 +2250,13 @@ nr	10
 ns	69
 nu	6
 null	102
+num	3166
 numb	2
 number	1117
 numbered	1
 numbering	1
 numbers	35
+numer	79
 numerator	129
 numerators	30
 numeric	143
@@ -2296,6 +2310,7 @@ on	473
 once	38
 one	660
 ones	44
+oneshot	4
 only	975
 onto	49
 onward	1
@@ -2439,6 +2454,7 @@ perspective	3
 pf	10
 pg	5
 ph	395
+ph	480
 phase	21
 phi	3
 physically	1
@@ -2450,6 +2466,7 @@ pity	1
 pivot	381
 pivoting	10
 pivots	1
+pkint	23
 pl	10
 place	59
 placed	3
@@ -2629,6 +2646,7 @@ ps	29
 pset	668
 pseudo	41
 pt	25
+ptr	37
 ptrdiff	8
 public	1128
 published	288
@@ -2801,6 +2819,7 @@ releases	1
 relevant	30
 reliable	1
 relies	2
+relsym	423
 rem	95
 remain	11
 remainder	75
@@ -2856,6 +2875,7 @@ reschedule	7
 reserve	35
 reserved	120
 reset	346
+resethand	3
 resets	13
 residues	8
 resize	121
@@ -2910,6 +2930,7 @@ rint	18
 rintf	2
 rintl	3
 rise	3
+rlim	6
 rlimit	13
 rm	3
 roberto	361
@@ -3065,6 +3086,7 @@ shuffle	1
 si	222
 side	121
 sides	3
+sig	2
 sigaction	17
 sigalrm	1
 sigemptyset	1
@@ -3082,6 +3104,7 @@ signs	9
 signum	6
 sigprof	1
 sigset	2
+sigxcpu	1
 silence	1
 silent	11
 silently	1
@@ -3246,6 +3269,7 @@ strategy	59
 strcmp	2
 stream	9
 streambuf	41
+streams	2
 streamsize	23
 street	282
 strerror	3
@@ -3259,6 +3283,7 @@ strlen	1
 strong	238
 stronger	2
 strongly	159
+strtol	4
 strtoll	2
 strtoull	2
 struct	300
@@ -3349,6 +3374,7 @@ syntactic	17
 syntactically	24
 syntax	7
 sys	1251
+syscall	6
 system	2750
 systematic	1
 systematically	1
@@ -3471,6 +3497,7 @@ toward	4
 towards	30
 towardzero	4
 tp	162
+tparam	9
 tr	118
 traces	1
 track	14
@@ -3536,7 +3563,9 @@ typeof	2
 types	246
 typically	4
 u	1039
+ub	659
 ul	13
+ulong	42
 un	8
 unaffected	4
 unaltered	5
@@ -3687,6 +3716,7 @@ vs	25
 w	710
 want	33
 wanted	8
+warn	1
 warned	3
 warning	44
 warnings	8
@@ -3758,6 +3788,7 @@ wrapped	59
 wrapper	68
 wrapping	48
 wraps	15
+wrd	14
 writable	1
 write	307
 writes	21