This manual was last updated in November 2015
The latest version can be found at: http://http://tla.mpi.nl/tools/tla-tools/arbil/
Anastasios Vogiatzis (June 2012)
Claudia Zabeo (December 2012)
Janna Voelpel (September 2013)
Francesca Bechis (July 2014)
Steffen Kaiser (November 2015)
Table of Contents