File content as of revision 2:1921d881d00e:

#include "mbed.h"

DigitalOut myled1(LED1);
DigitalOut myled2(LED2);
DigitalOut myled3(LED3);
DigitalOut myled4(LED4);

int main() {
    
    float i = 0.0;
    
    while(1) {
        i+=0.01 ;
        
        
        myled1 = 1;
        myled2 = 0;
        myled3 = 0;
        myled4 = 0;
        
        wait(i);
        
        myled1 = 0;
        myled2 = 1;
        myled3 = 0;
        myled4 = 0;
        
        wait(i);
        
        myled1 = 0;
        myled2 = 0;
        myled3 = 1;
        myled4 = 0;
        
        wait(i);
        
        myled1 = 0;
        myled2 = 0;
        myled3 = 0;
        myled4 = 1;
        
        wait(i);
        
        if (i >= 0.1) {
            i=0.0;
            myled1 = 1;
            myled2 = 1;
            myled3 = 1;
            myled4 = 1;
            wait(0.1);  
        }
        
        
    }
}