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

Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Nov 7 08:35:51 2011 +0100

Added more Doxygen and LaTeX keywords.

---

devtools/good_words | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-)

diff --git a/devtools/good_words b/devtools/good_words index aad6c51..6be60f0 100644 --- a/devtools/good_words +++ b/devtools/good_words @@ -11,8 +11,10 @@ downarrow endcode endverbatim forall +frac hideinitializer iff +ingroup ldots lfloor mapsto @@ -32,5 +34,6 @@ rightarrow scriptstyle sseq textrm +tparam uparrow varepsilon