Viewing all changes in revision 1575.
- Committer: kpede19 at aau
- Date: 2022-02-21 15:44:40 UTC
- Revision ID: kpede19@student.aau.dk-20220221154440-xsw17pvxv6dkz20h
Labels with multiple lines on arcs now displays correctly
- files modified:
- src/net/tapaal/export/TikZExporter.java
expand all
collapse all
added
removed
