Difference between pages "File:EventB-Summary.pdf" and "File:EventBExplorer filter POButton.png"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Laurent
(Laurent uploaded a new version of "File:EventB-Summary.pdf": Fixed minor errors : One was missing ascii codes in two items in section 5.1 and the other a typo in the explanation at item 6 in section 5.)
 
imported>Nicolas
(Two snapshots: one with PO button not pressed on the left hand side and another with the PO button pressed on the right hand side.)
 
Line 1: Line 1:
 
+
Two snapshots: one with PO button not pressed on the left hand side and another with the PO button pressed on the right hand side.

Revision as of 08:09, 9 October 2009

Two snapshots: one with PO button not pressed on the left hand side and another with the PO button pressed on the right hand side.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current20:49, 30 April 2020 (203 KB)Maintenance script (talk | contribs)
  • You cannot overwrite this file.

The following 2 pages link to this file: