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

Decomposing

Reporting a Bug or Requesting a Feature

Bugs

Feature Requests

Tips and Tricks