TAPAAL 3.9 series
Release of LTL GUI
Loading graph...
Series information
- Project:
- TAPAAL
- Series:
- 3.9
- Project drivers:
- TAPAAL Developers
- Release manager:
- None
- Status:
- Current Stable Release
- Project development focus:
- is not the focus of development.
- Release URL pattern:
- None
Code for this series
The following branch has been registered as the mainline branch for this release series:
1184 revisions.
You can get a copy of the development focus branch using the command:
bzr branch lp:tapaal/3.9
Milestones and releases
1 → 6 of 6 results | First • Previous • Next • Last |
Version | Expected | Released | Summary |
---|---|---|---|
TAPAAL 3.9.5 | None | bug fixes to 3.9 series | |
TAPAAL 3.9.4 | None | ||
TAPAAL 3.9.3 | None | bug fixes | |
TAPAAL 3.9.2 | None | ||
TAPAAL 3.9.1 | None | bug fixes to 3.9 series | |
TAPAAL 3.9.0 | None | Initial release |
1 → 6 of 6 results | First • Previous • Next • Last |