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

  • Committer: Jiri Srba
  • Date: 2013-03-07 14:30:30 UTC
  • mto: (746.2.11 nativeFileDialog)
  • Revision ID: srba@cs.aau.dk-20130307143030-4mb8yjfo7fw1vpgd
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
Filename Latest Rev Last Changed Committer Comment Size
..
libs 351 13 years ago Kenneth Yrke Jørgensen Moved all .jar files to the libs dir Diff
src 353 13 years ago Kenneth Yrke Jørgensen Moved all sources and resoruces to the src directo Diff
tests 329.1.115 13 years ago Morten Jacobsen - Did some refactorings in the model. - Added doub Diff
tools 352 13 years ago Kenneth Yrke Jørgensen Added tools dir for script and helper tools Diff
.bzrignore 635.1.1 12 years ago Mikael Harkjær Møller added .bzr-repo to ignore list 90 bytes Diff Download File
Makefile 746.3.1 11 years ago Jiri Srba upated the Makefile to work for Java 7, removed un 3.9 KB Diff Download File
File run-tapaal-j6.sh 746.3.1 11 years ago Jiri Srba upated the Makefile to work for Java 7, removed un 122 bytes Diff Download File
File run-tapaal-j7.sh 746.3.1 11 years ago Jiri Srba upated the Makefile to work for Java 7, removed un 219 bytes Diff Download File