User Activity

  • Committed [8139ed]

    tuned

  • Committed [568bc7]

    included masterlog file

  • Committed [493d61]

    cleanup old isabelle-* dirs before test start

  • Committed [e51efc]

    email sending

  • Committed [2c6ee1]

    send email plaform independently

  • Committed [982827]

    mail address update

  • Committed [b0ba3b]

    changed date format for proper lexicographical ordering

  • Committed [470daa]

    - changed date format for proper lexicographical ordering

View All

Personal Data

Username:
isatest
Joined:
2011-02-27 10:33:05

Projects

  • No projects to display.

Skills

  • No skills entered.

Personal Tools