Changes between Version 4 and Version 5 of intro/random_example


Ignore:
Timestamp:
08/27/2009 03:06:45 PM (9 years ago)
Author:
syentus@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • intro/random_example

    v4 v5  
    4444[[Image(sw-model-checking-1_626x174.png)]]
    4545
     46{{{
     47#!html
     48<div class="caption">
     49  <p>Figure: Random example <p>
     50</div>
     51}}}
    4652
    4753== Model Checking ==
     
    102108[[Image(sw-model-checking-2_626x174.png)]]
    103109
     110
     111{{{
     112#!html
     113<div class="caption">
     114  <p>Figure: Random example <p>
     115</div>
     116}}}