add isl_set_n_basic_set
[platform/upstream/isl.git] / doc / mypod2latex
2009-09-06 Sven Verdoolaegeadd a rudimentary manual