File content as of revision 7:48b6ad2fc7cd:

#include "mbed.h"

// Initializing all ins and outs: Program should get distance in cm when switch 2 is pressed and release 
// and change LED from Green to red when Switch 2 is pressed

DigitalOut  led_red(LED_RED);
DigitalOut  led_green(LED_GREEN);
DigitalIn   Re(D13);
DigitalOut  Trig(D12);
DigitalOut  Pwr(D11);
InterruptIn sw2(SW2);
Serial      pc(USBTX, USBRX);
Timer       timer;
int ReEnd;

void sw2_release(void)
{
     led_red = 0 ;
     led_green = 1;
     timer.reset();
    
}

void sw2_press(void)
{
    timer.stop();
    ReEnd = timer.read_us();
    led_red = 1 ;
    led_green = 0;
    pc.printf("Time between pushes %d us \r\n",ReEnd );
    
}
    
    
    
int main()
{
    Trig = 0;
    
    Pwr=1;
    
    pc.baud(115200);
    
        
    pc.printf("Board has been reset \r\n");
        while (true) {
           
            sw2.rise(&sw2_release);
    
            sw2.fall(&sw2_press);
    }
}