Past Developments

From Event-B
Revision as of 12:51, 10 November 2008 by imported>Mathieu (New page: {{TOCright}} 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 == T...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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.


Plug-ins

Retrieved from ‘https://wiki.event-b.org/index.php?title=Past_Developments&oldid=6346’