~yrke/tapaal/createArc-encapsulation

From Revision 974.1.2 to 957

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
974.1.2		Paint PNnames on select and undo paint on unselect Paint PNnames on select and undo paint on unselect	ptaankvist at gmail	5 years ago
974.1.1		Paint PNnames on select Paint PNnames on select	ptaankvist at gmail	5 years ago
974		merged in branch lp:~yrke/tapaal/tapaal-removeObservableData... merged in branch lp:~yrke/tapaal/tapaal-removeObservableDataLayer  removing some code	Jiri Srba	5 years ago
973		merged in branch lp:~yrke/tapaal/tapaal-fixes-1 merged in branch lp:~yrke/tapaal/tapaal-fixes-1 cleaning up in GUI	Jiri Srba	5 years ago
972		merged in branch lp:~tapaal-contributor/tapaal/tapn-ending-f... merged in branch lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545 changing standard ending of TAPAAL file to .tapn	Jiri Srba	5 years ago
971		merge in branch lp:~tapaal-contributor/tapaal/paint-arc-labe... merge in branch lp:~tapaal-contributor/tapaal/paint-arc-labels-on-select-1786459that highlights labels when an arc is selected	Jiri Srba	5 years ago
970		merged in brnch lp:~tapaal-contributor/tapaal/interval-labl... merged in brnch  lp:~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848 allowing to move labels of arcs around in the net	Jiri Srba	5 years ago
969		merged in branch lp:~yrke/tapaal/tapaal-gradlebuild adding ... merged in branch  lp:~yrke/tapaal/tapaal-gradlebuild adding gradle build support (not fully functional yet, so official builds should be done using make)	Jiri Srba	5 years ago
968		merged in branch lp:~tapaal-contributor/tapaal/disable-butto... merged in branch lp:~tapaal-contributor/tapaal/disable-buttons-noNetMode-1767758 that disables prev/next component and node distance changing when no net is open	Jiri Srba	5 years ago
967		merged in branch lp:~tapaal-contributor/tapaal/Remove-Export... merged in branch lp:~tapaal-contributor/tapaal/Remove-ExportPNXML-button-1718642 removing Export PNXML button from CTL query dialog (this is now possible from Export menu in File)	Jiri Srba	5 years ago
966		merged in branch lp:~yrke/tapaal/tapaal-bug-1782994 fixing M... merged in branch lp:~yrke/tapaal/tapaal-bug-1782994 fixing Mac OSX and Java 9	Jiri Srba	5 years ago
965		merged in branch lp:tapaal/anniversary-next10 refactoring th... merged in branch lp:tapaal/anniversary-next10 refactoring the GUI	srba.jiri at gmail	5 years ago
964		increased min version number of verifypn to 3.0.1 increased min version number of verifypn to 3.0.1	Jiri Srba	5 years ago
963		added older commits to svn repository (historical data) added older commits to svn repository (historical data)	Jiri Srba	5 years ago
962		merged in branch lp:~tapaal-contributor/tapaal/weight-values... merged in branch lp:~tapaal-contributor/tapaal/weight-values-fix-1770637 fixing PNML export and Composer where arc weights were constant names and should be exported as values instead	Jiri Srba	6 years ago
961		merged in branch lp:~tapaal-contributor/tapaal/Batch-export-... merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675 adding batch export of files to PNML and XML	Jiri Srba	6 years ago
960		merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduc... merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066 adding the statistics of reduction rules A-I	Jiri Srba	6 years ago
959		merged in branch lp:~tapaal-contributor/tapaal/Rename-transi... merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489 fixing an un-cought exception when renaming a transition to nonvalid name	Jiri Srba	6 years ago
958		merged in branch lp:~tapaal-contributor/tapaal/query-export-... merged in branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615 fixing an export of XML queries	Jiri Srba	6 years ago
957		merged in branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandl... merged in branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling mixing feel and look for Mac os X with Java 9 (About menu is not working yet)	Jiri Srba	6 years ago

• Older »

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