efremov@linux.com Denis Efremov https://github.com/eventb-rossi/eventb-to-txt/issues eventb-rossi/eventb-to-txt eventb-to-txt eventb-to-txt converts Event-B models created in the Rodin Platform (.bum and .buc files) to a plain-text CamilleX-like format. Compatible with Rodin 3.0 and later models.