Past Developments
From Event-B
This page sum up the developments recently done around or for the Rodin Platform, which are integrated or compatibles with the last platform revision.
Deploy Tasks
The following tasks were planned at some stage of the Deploy project.
Core Platform
Undo / Redo for editors
- See also: Undo/Redo design
Systerel is in charge of this task.
The goal of this task is to implement an undo/redo feature for editing actions.
This feature is now part of Rodin v0.9.0.
