summarylogtreecommitdiffstats
path: root/pcal
blob: b9f00cd7eef758b34bde8fc8e953e0330c4b7c04 (plain) 
1
2

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