2473
2473
buffer.append("License information and more is availabe at: www.tapaal.net\n\n");
2474
2474
buffer.append("Credits\n\n");
2475
2475
buffer.append("TAPAAL GUI and Translations:\n");
2476
buffer.append("Mathias Andersen, Sine V. Birch, Joakim Byg, Jakob Dyhr, Louise Foshammer,\nMalte Neve-Graesboell, ");
2477
buffer.append("Lasse Jacobsen, Morten Jacobsen, Thomas S. Jacobsen,\nJacob J. Jensen, Peter G. Jensen, ");
2478
buffer.append("Mads Johannsen, Kenneth Y. Joergensen,\nMikael H. Moeller, Christoffer Moesgaard, Niels N. Samuelsen, Jiri Srba,\nMathias G. Soerensen, Jakob H. Taankvist and Peter H. Taankvist\n");
2476
buffer.append("Mathias Andersen, Sine V. Birch, Jacob Hjort Bundgaard, Joakim Byg, Jakob Dyhr,\nLouise Foshammer, Malte Neve-Graesboell, ");
2477
buffer.append("Lasse Jacobsen, Morten Jacobsen,\nThomas S. Jacobsen, Jacob J. Jensen, Peter G. Jensen, ");
2478
buffer.append("Mads Johannsen,\nKenneth Y. Joergensen, Mikael H. Moeller, Christoffer Moesgaard, Niels N. Samuelsen,\nJiri Srba, Mathias G. Soerensen, Jakob H. Taankvist and Peter H. Taankvist\n");
2479
2479
buffer.append("Aalborg University 2009-2018\n\n");
2480
2480
buffer.append("TAPAAL Continuous Engine (verifytapn):\n");
2481
2481
buffer.append("Alexandre David, Lasse Jacobsen, Morten Jacobsen and Jiri Srba\n");
2488
2488
buffer.append("Frederik Meyer Boenneland, Jakob Dyhr, Peter Fogh, ");
2489
2489
buffer.append("Jonas F. Jensen,\nLasse S. Jensen, Peter G. Jensen, ");
2490
2490
buffer.append("Tobias S. Jepsen, Mads Johannsen,\nIsabella Kaufmann, ");
2491
buffer.append("Soeren M. Nielsen, Thomas S. Nielsen,\nLars K. Oestergaard, ");
2491
buffer.append("Andreas H. Klostergaard, Soeren M. Nielsen,\nThomas S. Nielsen, Lars K. Oestergaard, ");
2492
2492
buffer.append("Samuel Pastva and Jiri Srba\n");
2493
2493
buffer.append("Aalborg University 2014-2018\n\n");
added
removed
src/pipe/gui/GuiFrame.java
