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