[PPL-devel] [GIT] ppl/ppl(master): Typo fixed.
Patricia Hill
p.m.hill at leeds.ac.uk
Tue Mar 23 18:30:37 CET 2010
Module: ppl/ppl
Branch: master
Commit: bc6dffb591691b0986eb73aad6214d8e15ed630c
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bc6dffb591691b0986eb73aad6214d8e15ed630c
Author: Patricia Hill <p.m.hill at leeds.ac.uk>
Date: Tue Mar 23 17:30:05 2010 +0000
Typo fixed.
---
doc/definitions.dox | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
diff --git a/doc/definitions.dox b/doc/definitions.dox
index 403cf99..6d9a73b 100644
--- a/doc/definitions.dox
+++ b/doc/definitions.dox
@@ -2214,7 +2214,7 @@ where \f$\vect{w} \in \cL\f$ and
|\mathrm{val}|
= \min\Bigl\{
\big|\langle \vect{a}, \vect{v} \rangle + b
- \bigm| \Big| \vect{v} \in \cL
+ \big| \Bigm| \vect{v} \in \cL
\Bigr\}.
\f]
More information about the PPL-devel
mailing list