openETCS/ERTMSFormalSpecs — pull request #334 by luisErtmsSolutions (2013-12-19 10:54:55+00:00)
Title: JRU functionallities Solved corrections

Here they are, the corrections of the last pull request about the JRU capabilities