AnimB roadmap

The following array describes the features which will be developed.

feature	description
History saving	The history saving allows the user to save and replay a saved history
Predicate evaluator	Actually the predicate evaluator don't use type information to infer a set that allow iteration of variable.
Sorter on event table column	The events, constants and variables are listed using the editing order given by the Rodin database. This new feature could allow the user to manage the order of events, constants and variables.
Extension of predicate evaluator	Actually, the predicate evaluator don't allow the variable quantification with function sets (injection, bijection, ...)