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

#!/bin/sh
exec "$(dirname "$0")"/tla-tools tla2tex.TLA "$@"