Stronger AST Library: Revision history

From Event-B
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

22 July 2012

  • curprev 15:3415:34, 22 July 2012imported>Mathieum 1,185 bytes +1,185 New page: {{TOCright}} The AST library in Rodin 2.x contains some flaws that, in some corner cases, could lead to misinterpreting mathematical formulas. These flaws were either present in the orig...