~ksluckow/juppaal/trunk

~ksluckow/juppaal/trunk » Changes from revision 4

From Revision 3

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
3		Fixed various small issues like ensuring uniqueness of locat... Fixed various small issues like ensuring uniqueness of location ids. Furthermore, UPPAAL automata can now be laid out nicely	Kasper S. Luckow	12 years ago
2		added libs dir added libs dir	Thomas Bøgholm	13 years ago
1		initial import initial import	Thomas Bøgholm	13 years ago