[PPL-devel] [GIT] ppl/ppl(master): Separate words from lexical items.

[Roberto Bagnara]

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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Mon Nov  7 20:51:15 2011 +0100

Separate words from lexical items.

---

 devtools/good_items |   52 ++++++++++++++++++++++++++++++++++++++++++++++++++
 devtools/good_words |   53 ++++++++++++--------------------------------------
 2 files changed, 65 insertions(+), 40 deletions(-)

diff --git a/devtools/good_items b/devtools/good_items
new file mode 100644
index 0000000..b5eaa49
--- /dev/null
+++ b/devtools/good_items
@@ -0,0 +1,52 @@
+AUT00-13
+BemporadFT00TR
+biggl
+biggr
+bigl
+bigm
+bigoplus
+bigr
+cdot
+cplusplus
+defeq
+downarrow
+endcode
+endverbatim
+forall
+frac
+get_den
+get_num
+hideinitializer
+iff
+ine
+ingroup
+ldots
+lfloor
+mapsto
+mathbf
+mathit
+mathop
+mathord
+mathrel
+mathrm
+mathtt
+nbrows
+ncols
+notin
+nrows
+overline
+pfunc
+pmod
+rangle
+rfloor
+rightarrow
+scriptstyle
+sseq
+textrm
+tparam
+ull
+uparrow
+varepsilon
+xp
+yp
+zp
diff --git a/devtools/good_words b/devtools/good_words
index 3346828..94d739d 100644
--- a/devtools/good_words
+++ b/devtools/good_words
@@ -1,40 +1,13 @@
-aut00-13
-biggl
-biggr
-bigl
-bigm
-bigoplus
-bigr
-cdot
-cplusplus
-defeq
-downarrow
-endcode
-endverbatim
-forall
-frac
-hideinitializer
-iff
-ingroup
-ldots
-lfloor
-mapsto
-mathbf
-mathit
-mathop
-mathord
-mathrel
-mathrm
-mathtt
-notin
-overline
-pmod
-rangle
-rfloor
-rightarrow
-scriptstyle
-sseq
-textrm
-tparam
-uparrow
-varepsilon
+fp
+negator
+coord
+vec
+srcptr
+setbit
+clrbit
+tdiv
+vr
+umod
+smod
+itv
+vsi