~tapaal-contributor/tapaal/Gui-freeze-1896457

From Revision 353 to 334

expand all

collapse all

Rev		Summary	Authors	Tags	Date	Diff	Files
353		Moved all sources and resoruces to the src directory Moved all sources and resoruces to the src directory	Kenneth Yrke Jørgens...		13 years ago
352		Added tools dir for script and helper tools Added tools dir for script and helper tools	Kenneth Yrke Jørgens...		13 years ago
351		Moved all .jar files to the libs dir Moved all .jar files to the libs dir	Kenneth Yrke Jørgens...		13 years ago
350		Removed BOM i file Removed BOM i file	Kenneth Yrke Jørgens...		13 years ago
349		Updated Makefile to use TAPAAL.java as starter class Updated Makefile to use TAPAAL.java as starter class	Kenneth Yrke Jørgens...		13 years ago
348		Fix for bug #706562, translation settings is not saved Fix for bug #706562, translation settings is not saved	Kenneth Yrke Jørgens...		13 years ago
347		Changed QueryDialog to select the (general case) fastest red... Changed QueryDialog to select the (general case) fastest reduction method avialiable on query type change	Kenneth Yrke Jørgens...	tapaal-1.4.0	13 years ago
346		Fixed bug #686548 TAPAAL dispalys bad error message on missi... Fixed bug #686548 TAPAAL dispalys bad error message on missing UPPAAL licence file. This added a check for the error message comming when the user has an invalid UPPAAL licence file, and displays a message asking the user to start UPPAAL GUI with an internet connection.	Kenneth Yrke Jørgens...		13 years ago
345		JS: fixed some of the error messages JS: fixed some of the error messages	Jiri Srba		13 years ago
344		Added new improved ABP example Added new improved ABP example	Kenneth Yrke Jørgens...		13 years ago
343		Fix for bug #702379 where untimed firing mode failed. Fix for bug #702379 where untimed firing mode failed.	Kenneth Yrke Jørgens...		13 years ago
342		made combobox larger for constants made combobox larger for constants	Morten Jacobsen		13 years ago
341		fixes bug #696487 fixes bug #696487	Morten Jacobsen		13 years ago
340		Changed to use gtkfilechooser in GTK look and feel, instead ... Changed to use gtkfilechooser in GTK look and feel, instead of default JVM version.	Kenneth Yrke Joergen...		13 years ago
339		fixed bug #695446 fixed bug #695446	Morten Jacobsen		13 years ago
338		possibly fixes bug #684817, but Jiri will have to check on m... possibly fixes bug #684817, but Jiri will have to check on mac..	Morten Jacobsen		13 years ago
337		fixed bug #695455 fixed bug #695455	Morten Jacobsen		13 years ago
336		fixed bug #695448. fixed bug #695448.	Morten Jacobsen		13 years ago
335		fixes bug #685287 where wrong verification time was displaye... fixes bug #685287 where wrong verification time was displayed.	Morten Jacobsen		13 years ago
334		fixes bug #684823 where a breaking change in the UPPAAL outp... fixes bug #684823 where a breaking change in the UPPAAL output cause an exception to occur when running extra token optimization.	Morten Jacobsen		13 years ago

• « Newer
• Older »

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