File content as of revision 4:051852f988eb:

#include "mbed.h"
#include "Rtc_Ds1307.h"
#include "TM1636.h"

//RtcCls rtc(p28, p27, p29, true);
Rtc_Ds1307 rtc(D3, D6);
DigitalIn  button_K3(A5);
TM1636 tm1636(D7,D8);  
Serial pc(USBTX, USBRX, "pc");

//char buffer[128];
//int readptr = 0;

int main() {
int8_t temp[4];
    button_K3.mode(PullUp);
    tm1636.init();
    Rtc_Ds1307::Time_rtc tm = {};
    tm.date = 1 ;
    tm.mon = 1 ;
    tm.year = 12 ;
    tm.hour = 0;
    tm.min = 0;
    tm.sec = 0;
    rtc.setTime(tm, false, false);
    rtc.startClock();
    while(1) {
            
            rtc.getTime(tm);
            pc.printf("%02d:%02d:%02d\n",tm.hour,tm.min,tm.sec);
            temp[0] = tm.hour / 10;
            temp[1] = tm.hour % 10;
            temp[2] = tm.min / 10;
            temp[3] = tm.min % 10;                 
            tm1636.display(temp);  
            
            }
            }