[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?


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


More information about the Why3-club mailing list