Viewing all changes in revision 675.
- Committer: Tarmac
- Date: 2012-03-02 10:35:47 UTC
- mfrom: (654.4.9 userSelectableBatchProcessing)
- Revision ID: tarmac-20120302103547-dg9a4mxd2bylvl8u
Made it possible for the user to select the specific verification methods in the batch processing dialog by TAPAAL Contributors review by Kenneth Yrke Jørgensen approved by Kenneth Yrke Jørgensen, Jiri Srba
- files modified:
- src/dk/aau/cs/gui/BatchProcessingDialog.java
expand all
collapse all
added
removed
