Module: ppl/ppl Branch: master Commit: 53f12fe79ea856dbba696ab2b2e57a9d444da2fa URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=53f12fe79ea85...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 8 05:12:44 2011 +0100
Put items on the right list.
---
devtools/good_items | 3 +++ devtools/good_words | 12 ++++-------- 2 files changed, 7 insertions(+), 8 deletions(-)
diff --git a/devtools/good_items b/devtools/good_items index b5eaa49..5e61305 100644 --- a/devtools/good_items +++ b/devtools/good_items @@ -1,5 +1,7 @@ AUT00-13 BemporadFT00TR +TW_Pending_List +WD_Pending_List biggl biggr bigl @@ -40,6 +42,7 @@ pmod rangle rfloor rightarrow +rlim_cur scriptstyle sseq textrm diff --git a/devtools/good_words b/devtools/good_words index 94d739d..ee7d459 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -1,13 +1,9 @@ +coord fp +itv negator -coord +smod +umod vec -srcptr -setbit -clrbit -tdiv vr -umod -smod -itv vsi