Viewing all changes in revision 961.
- Committer: Jiri Srba
- Date: 2018-05-11 16:32:49 UTC
- mfrom: (951.3.17 Batch-export-PNML-XML-queries-1754675)
- Revision ID: srba@cs.aau.dk-20180511163249-2bphjqkfgwwjjqbi
merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
adding batch export of files to PNML and XML
adding batch export of files to PNML and XML
- files added:
- src/dk/aau/cs/gui/FileNameCellRenderer.java
- files modified:
- run-tapaal-j7.sh
expand all
collapse all
added
removed
