Decomposition Plug-in User Guide: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Pascal |
imported>Pascal |
||
| Line 11: | Line 11: | ||
== Reporting a Bug or Requesting a Feature == | == Reporting a Bug or Requesting a Feature == | ||
[https://sourceforge.net/tracker/?atid=651669&group_id=108850&category=1259297 Bugs] | |||
[https://sourceforge.net/tracker/?atid=651672&group_id=108850&category=1259298 Feature Requests] | |||
== Tips and Tricks == | == Tips and Tricks == | ||
Revision as of 09:02, 3 November 2009
Introduction
Installing and Updating
Release Notes
Decomposition Plug-in Release History
