openETCS/toolchain — pull request #42 by renauddl (2013-05-29 12:38:41+00:00)
Title: Assessor1 for ERTMSFormalSpec - corrections

Mostly cosmetic changes related to the use of the proper color, and some corrections.