The latest version can be found at: http://tla.mpi.nl/tools/tla-tools/arbil/
This user guide was last updated on 2012-10-30
Original Author: Claudia Zabeo
Table of Contents