Difference between revisions of "Decomposition Plug-in User Guide"
From Event-B
Jump to navigationJump to searchimported>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