summarylogtreecommitdiffstats
path: root/tla2tex
blob: e0fd4f95e3d3d0c6fc7c2e4ee057e5fcf772c200 (plain) 
1
2

#!/bin/sh
exec java -classpath /usr/share/java/tla2tools.jar tla2tex.TLA "$@"