summarylogtreecommitdiffstats
path: root/tlc
blob: ad6519602b15d0756a21ddaf27978973c2d1d849 (plain) 
1
2

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