[Why3-club] Why3 Feature request: alternative to -L for many directories

Jean-Christophe Filliâtre Jean-Christophe.Filliatre at lri.fr
Mon Apr 4 17:35:53 CEST 2011


>  I could not find the WHY3LOADPATH variable in the
> manual, maybe this deserves an entry?

definitely

we are aware that the manual is far from up to date

-- 
Jean-Christophe



More information about the Why3-club mailing list