We would like to inform our Clients that we decided to introduce a new numbering scheme for the subsequent Leon versions.

We are dropping the main version number (the one before the dot) as Leon is being modified continuously. Each next version of Leon (published every 2 weeks) is marked with a sequent number. At the moment we have number 12 and that is the current version. This occasion called for a cake!