version.tex.in 94 Bytes
Newer Older
Andrei Paskevich's avatar
Andrei Paskevich committed
1
\newcommand{\whyversion}{@VERSION@}
MARCHE Claude's avatar
MARCHE Claude committed
2
\urldef{\urlapi}{\url}{http://why3.lri.fr/api-@VERSION@/}