<div dir="ltr">Elan 4.7.1 is available here:<div><br></div><div><a href="http://tla.mpi.nl/tools/tla-tools/elan/download/">http://tla.mpi.nl/tools/tla-tools/elan/download/</a><br></div></div>