~tapaal-contributor/tapaal/query-export-bug-1767615

• Changes
• Files

~tapaal-contributor/tapaal/query-export-bug-1767615 » Changes from revision 958

From Revision 939 to 920

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
939		merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-G... merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 that adds rule E to statistics for structural net reductions (for Peter's new NewParser untimed engine)	Jiri Srba	7 years ago
938		merged in branch lp:~tapaal-contributor/tapaal/save-as-fix-1... merged in branch lp:~tapaal-contributor/tapaal/save-as-fix-1648076 fixing "save as" on Mac OS X	Jiri Srba	7 years ago
937		merged in branch fixing enabled-transition-in-editor-fix-164... merged in branch fixing enabled-transition-in-editor-fix-1641313 that also changes the future enabled transitions from blue to yellow	Jiri Srba	7 years ago
936		merged in branch timed-to-untimed-fix-1625989 additing new t... merged in branch timed-to-untimed-fix-1625989 additing new tool for untiming a net	Jiri Srba	7 years ago
935		merged in branch adding a checkbox in View menu to display 0... merged in branch adding a checkbox in View menu to display 0-age tokens as dots	Jiri Srba	7 years ago
934		merged in branch transition-rotation-fix-1550895 fixing the merged in branch transition-rotation-fix-1550895 fixing the rotation of transitions in tikz export	Jiri Srba	8 years ago
933		merged in branch slash-in-name-fix-1575006 merged in branch slash-in-name-fix-1575006	Jiri Srba	8 years ago
932		merged in branch disable-edit-statistics-fix-1575015 merged in branch disable-edit-statistics-fix-1575015	Jiri Srba	8 years ago
931		by TAPAAL Contributors review by Jiri Srba approved by Jiri ...  by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
930		right-click context menu is now enabled only for the select ... right-click context menu is now enabled only for the select tool (fixes bug 1544465) by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
929		List elements on Windows 8 and 10 are now presented visually... List elements on Windows 8 and 10 are now presented visually correct according to the Nimbus L&F. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Dyhr	8 years ago
928		Selected enabled transition in the simulator now blinks and ... Selected enabled transition in the simulator now blinks and when double clicking on trace, the same happens too. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
927		Added a vertical scrollbar to the left panel in editor and s... Added a vertical scrollbar to the left panel in editor and simulation mode when the entire panel cannot be seen.  by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Dyhr	8 years ago
926		When dragging an object, connected to an arc split point in ... When dragging an object, connected to an arc split point in the very top or left of the drawing surface, it no longer moves in reverse. Also fixes an undo bug causing similar behaviour. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Dyhr	8 years ago
925		Fixes bug 1543124 so that removing tabs now points to the co... Fixes bug 1543124 so that removing tabs now points to the correct drawing surface. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
924		Remove button for deactivated queries is now enabled. by TAP... Remove button for deactivated queries is now enabled. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
923		updated tapaal icons to 3.2 version updated tapaal icons to 3.2 version	Jiri Srba	8 years ago
922		Null pointer exeception when parsing an invalid pnml file is... Null pointer exeception when parsing an invalid pnml file is cought now. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Mads Johannsen	8 years ago
921		Arcs are now only selected if either directly clicked, or if... Arcs are now only selected if either directly clicked, or if they are connecting two already selected PlaceTransitionObjects. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Dyhr	8 years ago
920		Fixes bug #1518261. When making a new shared transition thro... Fixes bug #1518261. When making a new shared transition through the context menu, urgency is now correctly (re)applied.  by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba	Jakob Dyhr	8 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1