File content as of revision 0:0e32344cdb26:

/*Program Example 3.5: Simple demonstration of 7-segment display. Display digits 0, 1, 2, 3 in turn.
                                                                       */
#include "mbed.h"
BusOut display(p5,p6,p7,p8,p9,p10,p11,p12);   // segments a,b,c,d,e,f,g,dp

int main()
{
    while(1) {
        for(int i=0; i<4; i++) {
            switch (i) {
                case 0:
                    display = 0x3F;
                    break;       //display 0
                case 1:
                    display = 0x06;
                    break;       //display 1
                case 2:
                    display = 0x5B;
                    break;
                case 3:
                    display = 0x4F;
                    break;
            }                                      //end of switch
            wait(0.2);
        }                                        //end of for
    }                                          //end of while
}                                            //end of main