3.2.0 - Interim Release\n\
	navigator (1.3.0) - refactored diagram copier refinement participant, refactor diagram delete handler, support project and machine renaming\n\

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15614 1434b563-b632-4741-aa49-43a3a8374d2e
raise dependency min for org.eventb.emf.core.extension.persistence
inc in 3.2.0 - Interim Release\n\
	navigator (1.3.0) - refactored diagram copier refinement participant, refactor diagram delete handler, support project and machine renaming\n\

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15617 1434b563-b632-4741-aa49-43a3a8374d2e
update feature dependencies (inc in 3.2.0)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15620 1434b563-b632-4741-aa49-43a3a8374d2e
raise dependency min for ac.soton.eventb.emf.diagrams.navigator 


git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15621 1434b563-b632-4741-aa49-43a3a8374d2e
Statemachine 1.5.0 - Interim Release\n\
	diagram (1.3.1) - hide refined enumeration translation option in properties\n\
	navigator (1.2.1) - provide diagram file extension defn\n\
	transformation (1.5.0) - correct initialisation of lifted sm, disable automatic init of nested sm\n\

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15622 1434b563-b632-4741-aa49-43a3a8374d2e
update feature dependencies (inc in 1.5.0)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15623 1434b563-b632-4741-aa49-43a3a8374d2e
diagrams release 3.2.0 - add qualifier .r15620


git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15630 1434b563-b632-4741-aa49-43a3a8374d2e
update feature dependencies (inc in 1.5.0)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15631 1434b563-b632-4741-aa49-43a3a8374d2e
statemachines release 1.5.0 - add qualifier .r15631

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15632 1434b563-b632-4741-aa49-43a3a8374d2e
statemachines release 1.5.0 - correction to version numbering:
statemachines plugin = 1.2.1.r15631

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15640 1434b563-b632-4741-aa49-43a3a8374d2e
correction to attribute injective generation

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15682 1434b563-b632-4741-aa49-43a3a8374d2e
Add generation for class constraints and class methods

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15683 1434b563-b632-4741-aa49-43a3a8374d2e
detect invalid attempt to place generated elements in incorrect containments

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15686 1434b563-b632-4741-aa49-43a3a8374d2e
add some missing property sections (e.g. for method, constraint etc)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15687 1434b563-b632-4741-aa49-43a3a8374d2e
switch key point connection locators for TotalFunctional and SurjectiveInjective parts as they are appearing at the wrong ends of the association.
(Not sure why as the previous sounded right. NOTE: this should be done in the GMF models before re-generating)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15688 1434b563-b632-4741-aa49-43a3a8374d2e
npe : protect diagram util against not finding a valid feature

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15689 1434b563-b632-4741-aa49-43a3a8374d2e
Changed condition for generating invariant or axiom from class set to root container
(this is because, in machine class diagrams, invariants may be placed in classes that elaborate a carrier set)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15690 1434b563-b632-4741-aa49-43a3a8374d2e
set appropriate icons for class methods and constraints (tbd - theorems)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15691 1434b563-b632-4741-aa49-43a3a8374d2e
add class constraint to the class refinement filters list

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15706 1434b563-b632-4741-aa49-43a3a8374d2e
raise parameter and parameter type guard to priority 1 

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/iumlb@15707 1434b563-b632-4741-aa49-43a3a8374d2e