lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:tapaal at revision 972

Jiri Srba: Approve on 2018-08-13

Peter Haahr Taankvist (community): Needs Resubmitting on 2018-08-11

Diff: 5953 lines (+2804/-2757)

38 files modified

src/dk/aau/cs/gui/BatchProcessingDialog.java (+1/-1)
src/pipe/gui/Export.java (+1/-1)
src/pipe/gui/ExportBatchDialog.java (+3/-3)
src/pipe/gui/GuiFrame.java (+28/-16)
src/pipe/gui/widgets/CTLQueryDialog.java (+1/-1)
src/pipe/gui/widgets/NewTAPNPanel.java (+2/-2)
src/pipe/gui/widgets/QueryDialog.java (+1/-1)
src/pipe/gui/widgets/filebrowser/FileBrowser.java (+9/-3)
src/pipe/gui/widgets/filebrowser/NativeFileBrowser.java (+21/-7)
src/pipe/gui/widgets/filebrowser/NativeFileBrowserFallback.java (+24/-9)
src/resources/Example nets/alternating-bit-protocol-components.tapn (+241/-0)
src/resources/Example nets/alternating-bit-protocol-components.xml (+0/-241)
src/resources/Example nets/alternating-bit-protocol-transport.tapn (+216/-0)
src/resources/Example nets/alternating-bit-protocol-transport.xml (+0/-216)
src/resources/Example nets/alternating-bit-protocol.tapn (+210/-0)
src/resources/Example nets/alternating-bit-protocol.xml (+0/-210)
src/resources/Example nets/fischer-protocol.tapn (+308/-0)
src/resources/Example nets/fischer-protocol.xml (+0/-308)
src/resources/Example nets/intro-example.tapn (+97/-0)
src/resources/Example nets/intro-example.xml (+0/-97)
src/resources/Example nets/producer-consumer.tapn (+82/-0)
src/resources/Example nets/producer-consumer.xml (+0/-82)
src/resources/Example nets/shortest-path.tapn (+188/-0)
src/resources/Example nets/shortest-path.xml (+0/-188)
src/resources/Example nets/train-level-crossing.tapn (+117/-0)
src/resources/Example nets/train-level-crossing.xml (+0/-117)
src/resources/Example nets/webserver.tapn (+97/-0)
src/resources/Example nets/webserver.xml (+0/-97)
src/resources/Example nets/workflow-advanced.tapn (+345/-0)
src/resources/Example nets/workflow-advanced.xml (+0/-345)
src/resources/Example nets/workflow-complaint.tapn (+156/-0)
src/resources/Example nets/workflow-complaint.xml (+0/-156)
src/resources/Example nets/workflow-medical.tapn (+271/-0)
src/resources/Example nets/workflow-medical.xml (+0/-271)
src/resources/Example nets/workflow-payment.tapn (+154/-0)
src/resources/Example nets/workflow-payment.xml (+0/-154)
src/resources/Example nets/workflow-simple.tapn (+231/-0)
src/resources/Example nets/workflow-simple.xml (+0/-231)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #686545: Use .tapn ending for files tapaal files	Critical	Fix Released
Bug #1780420: Loading pnml and then saving gives wrong file format	Undecided	Fix Released

Link a bug report

Related blueprints

972. By Peter Taankvist <email address hidden> on 2018-08-11

fix export bug and rename of pnml

971. By Jiri Srba <email address hidden> on 2018-08-10

merged in trunk

970. By Peter Taankvist <email address hidden> on 2018-08-07

Merge with trunk

969. By Peter Taankvist <email address hidden> on 2018-08-07

Fix fileName.pnml.tapn bug - bug number 1780420

968. By Peter Taankvist <email address hidden> on 2018-08-02

Add information message about .tapn ending and remove automatic removal of .xml files

967. By Peter Taankvist <email address hidden> on 2018-07-13

Add Example Nets as .tapn files

966. By Peter Taankvist <email address hidden> on 2018-07-13

Replace .xml with .tapn as standard filetype for nets

965. By <email address hidden> on 2018-07-06

merged in branch lp:tapaal/anniversary-next10 refactoring the GUI

964. By Jiri Srba <email address hidden> on 2018-06-29

increased min version number of verifypn to 3.0.1

963. By Jiri Srba <email address hidden> on 2018-05-28

added older commits to svn repository (historical data)