← Back to branch summary

~tapaal-contributor/tapaal/notes-hides-namelabels-1848947

746.3.1 by Jiri Srba
upated the Makefile to work for Java 7, removed unused import from GuiFrame.java and added two scripts for running tapaal (on Mac) on Java 6 and Java 7 
1
 
#!/bin/sh

2
 









3



(cd release-version; /System/Library/Java/JavaVirtualMachines/1.6.0.jdk/Contents/Home/bin/java -cp .:* TAPAAL)