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

Author: Roberto Bagnara bagnara@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