Viewing all changes in revision 746.3.1.
- Committer: Jiri Srba
- Date: 2013-03-07 14:30:30 UTC
- mto: (746.2.11 nativeFileDialog)
- mto: This revision was merged to the branch mainline in revision 756.
- 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
- files added:
- run-tapaal-j6.sh
- files modified:
- Makefile
expand all
collapse all
added
removed
