~tapaal-maintainers/tapaal/3.3

  • Committer: Jiri Srba
  • Date: 2017-10-05 07:04:03 UTC
  • Revision ID: srba@cs.aau.dk-20171005070403-t0ueudyogu8negh4
Release version of 3.3.0
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
Makefile 856.3.4 9 years ago Peter Gjoel Jensen reverted makefile 4 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.2.13 11 years ago Jiri Srba changed j7 script (no flags are needed any more) 53 bytes Diff Download File