openETCS/ERTMSFormalSpecs — pull request #331 by morido (2013-12-14 18:26:48+00:00)
Title: New Committer guide

Here is a proposal for the Committer guide (see page 10 of coding_guidelines.pdf).