merge from branch stable-succint-jumping
[SXSI/xpathcomp.git] / options.mli
2009-03-10 kimmerge from branch stable-succint-jumping
2009-03-02 kimRemoved testing cruft
2009-01-29 kimAdd serialization functions
2009-01-28 kimAdded parsing of command line options to set sample...