[gecode-users] Docs bugs

[Filip Konvička]

Hi,

in case you haven't fixed that yet for 3.0, of course :-)

Linear boolean constraints like

void Gecode::linear  ( Space *  home,
   const BoolVarArgs &  x,
   IntRelType  r,
   int  c,
   BoolVar  b,
   IntConLevel  icl,
   PropKind  pk
  )

seem to have docs in the "Linear constraints over integer variables" 
topic (2.2.0 chm), whereas the "Linear constraints over Boolean 
variables" topic is more or less empty (or is this intentional?)

And now for some hair-splitting :-)

   ViewArray (Space *home, int m)
   Allocate array with m variables.

Should probably be "m views". Now that's pedantic, innit?

Cheers,
Filip