File:SMT configuration enablement status.png

From Event-B
Revision as of 12:31, 16 May 2013 by imported>Tommy (Tommy uploaded a new version of "File:SMT configuration enablement status.png")
Jump to navigationJump to search

SMT_configuration_enablement_status.png(483 × 157 pixels, file size: 17 KB, MIME type: image/png)

Shows how to enable or disable an SMT solver configuration directly from the configurations page.

File history

Yi efo/eka'e gwa ebo wo le nyangagi wuncin ye kamina wunga tinya nan

GwalagizhiNyangagiDimensionsUserComment
current20:49, 30 April 2020Thumbnail for version as of 20:49, 30 April 2020483 × 157 (17 KB)Maintenance script (talk | contribs)

The following 2 pages use this file:

Metadata