log example/Miller_Rabin/run.sh @ 1786:ba6ffc679a8f draft

age author description
2011-11-20 Daichi Toma fix time.sh draft
2011-11-20 Daichi Toma add shell script that measure time draft