Viewing all changes in revision 3.
- Committer: Kasper S. Luckow
- Date: 2012-08-09 13:03:06 UTC
- Revision ID: luckow@cs.aau.dk-20120809130306-c68i13x14uz05bvq
Fixed various small issues like ensuring uniqueness of location ids. Furthermore, UPPAAL automata can now be laid out nicely
- files added:
- libs/grappa.jar
- files modified:
- src/uppaal/Automaton.java
expand all
collapse all
added
removed
