Module: ppl/ppl Branch: floating_point Commit: 26d546f62d36497e70ab0118e67302d46b2072cd URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=26d546f62d364...

Author: Fabio Biselli fabio.biselli@studenti.unipr.it Date: Tue Sep 8 16:09:33 2009 +0200

Added Latex macro for abstract division.

---

doc/ppl.sty | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/doc/ppl.sty b/doc/ppl.sty index 1406cf3..0015104 100644 --- a/doc/ppl.sty +++ b/doc/ppl.sty @@ -189,6 +189,6 @@

\newcommand*{\aslf}{\boxplus^{#}_{\mathbf{f}}} \newcommand*{\adlf}{\boxminus^{#}_{\mathbf{f}}} -%\newcommand*{\adivlf}{\oslash^{#}_{\mathbf{f}}} +\newcommand*{\adivlf}{\boxslash^{#}_{\mathbf{f}}} \newcommand*{\amlf}{\boxtimes^{#}_{\mathbf{f}}}