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

#!/bin/sh
java -classpath /usr/share/java/tla-tools tlc2.TLC $@