Mise à jour terminée. Pour connaître les apports de la version 13.10.3 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
Updated the lexer accordingly. This has the benefit that a type error in a trailer will be correctly located in the .mly file. Until now, it wasn't.