updated @since tags
new modules Precedence_intf and Ordering_intf, to avoid copying of module types
new functions in the precedence
PartialOrder_intf
partialOrder (and Precedence) give more details when the ordering is not total
update arbitrary instances to use qcheck-0.3s fix_fuel combinator
bugfix in Precedence.Constr.invfreq
warning removed
section mechanism for Util.debug
addd Options.mk_global_opts, deprecating Options.global_opts

Every debug section has its own CLI option now, available through mk_global_opts
Util.Section is now more refined, with multiple inheritance
breaking: remove -pack for Logtk, renamed modules from Foo to LogtkFoo (to use 4.02s module aliasing)
flush stdout on debug
FeatureVector.{iter,fold} implemented
do not rename atomic formulas in CNF (close #1)
remove useless -def-limit argument to the CNF
update .ocamlinit
fix parsers/Util_tptp.find_file behavior w.r.t $TPTP env variable
use -no-alias-deps when compiling
prepare for 0.6.1