Difference between revisions of "Developer Documentation"

From Event-B
Jump to navigationJump to search
imported>Ladenberger
imported>Laurent
 
(One intermediate revision by one other user not shown)
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:==
Line 45: Line 45:
  
 
==Very small pages==
 
==Very small pages==
* [http://handbook.cobra.cs.uni-duesseldorf.de/current/html/sequents.html Sequents]
+
* [http://handbook.event-b.org/current/html/sequents.html Sequents]
 
* [[How to Submit Patches]]
 
* [[How to Submit Patches]]
  

Latest revision as of 09:17, 20 November 2013