Developer Documentation: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Jrloria
No edit summary
imported>Laurent
 
(2 intermediate revisions 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==
* [[Sequents]]
* [http://handbook.event-b.org/current/html/sequents.html Sequents]
* [[How to Submit Patches]]
* [[How to Submit Patches]]


==Projects==
==Projects==

Latest revision as of 09:17, 20 November 2013