[Why3-club] Why3 Feature request: alternative to -L for many directories
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