summarylogtreecommitdiffstats
path: root/tla2sany
blob: 98dfb66a5267aaf3ee7f5c971debd5de886fadb6 (plain) 
1
2

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