← Back to branch summary

~yrke/tapaal/more-testing-and-refactorings 

1
2
3

#!/bin/sh

( cd `dirname "$0"`; cd lib; java -cp .:* TAPAAL)