$web_root = ""; $dmg_ver = "0.4"; $source_ver = "0.7"; $win_ver = "0.3"; require('snippets.local.php'); function top_menu () { global $web_root;?>
} function css() { global $web_root;?> } function dmg_url () { global $dmg_ver; print "http://sourceforge.net/projects/tikzit/files/tikzit-$dmg_ver/TikZiT-$dmg_ver.dmg/download"; } function win_url () { global $win_ver; print "http://sourceforge.net/projects/tikzit/files/tikzit-$win_ver/tikzit-$win_ver.zip/download"; } function source_url () { global $source_ver; print "http://sourceforge.net/projects/tikzit/files/tikzit-$source_ver/tikzit-$source_ver.tar.gz/download"; } ?>