options.c: rename "barvinok" summation method to "box"
commite5fcc015d0cce138b9de3b21e029545feb43cce9
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 4 May 2008 12:44:02 +0000 (4 14:44 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 4 May 2008 13:28:46 +0000 (4 15:28 +0200)
tree75894afc0ae4016277dc51f1ef464e41efb9ec68
parente6a3b83c1013880899bb52141afbfacad3fe0d3c
options.c: rename "barvinok" summation method to "box"
barvinok/options.h
doc/applications.tex
options.c
summate.c