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
