Difference between revisions of "Developer Documentation"

From Event-B
Jump to: navigation, search
(Very small pages)
(General pages:)
 
Line 10: Line 10:
 
* [[Procedure for developing, reviewing and publishing a plugin]]
 
* [[Procedure for developing, reviewing and publishing a plugin]]
 
* [[Switch from CVS to Subversion]]
 
* [[Switch from CVS to Subversion]]
 
+
* [[Migration to Git]]
  
 
==Particular topics:==
 
==Particular topics:==

Latest revision as of 09:17, 20 November 2013