[PPL-devel] [GIT] ppl/ppl(master): Added more Doxygen and LaTeX keywords.
Roberto Bagnara
bagnara at cs.unipr.it
Mon Nov 7 08:36:04 CET 2011
Module: ppl/ppl
Branch: master
Commit: b637cbc5c055505c1ed8decdcd427809439d06ce
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b637cbc5c055505c1ed8decdcd427809439d06ce
Author: Roberto Bagnara <bagnara at 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
More information about the PPL-devel
mailing list