function diff_demo() {
    window.open("../../diffdemo.html");
}

function diff3_demo() {
    window.open("../../diff3demo.html");
}

function dvcs_demo() {
    window.open("../../dvcsdemo.html");
}