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

#!/bin/sh
exec tla-tools tla2tex.TLA "$@"