#!/bin/sh
java -classpath /usr/share/java/tla-tools tla2tex.TLA $@