Transformation patterns/Reference: 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.

29 June 2011

  • curprev 16:3816:38, 29 June 2011imported>Ilya.lopatkinm 6,871 bytes +491 No edit summary
  • curprev 13:2113:21, 29 June 2011imported>Ilya.lopatkinm 6,380 bytes +435 No edit summary
  • curprev 12:5212:52, 29 June 2011imported>Ilya.lopatkinm 5,945 bytes +14 No edit summary
  • curprev 12:1812:18, 29 June 2011imported>Ilya.lopatkin 5,931 bytes +5,931 New page: == Full list of provided operations == {|border="1" cellpadding="10" cellspacing="0" align="center" width = "70%" |- | enterString(userMessage:String):String enterString(userMessage, _de...