equal
deleted
inserted
replaced
26 |
26 |
27 val isabelle_dev_source = "http://isabelle.in.tum.de/repos/isabelle" |
27 val isabelle_dev_source = "http://isabelle.in.tum.de/repos/isabelle" |
28 val isabelle_release_source = "http://bitbucket.org/isabelle_project/isabelle-release" |
28 val isabelle_release_source = "http://bitbucket.org/isabelle_project/isabelle-release" |
29 val afp_source = "https://bitbucket.org/isa-afp/afp-devel" |
29 val afp_source = "https://bitbucket.org/isa-afp/afp-devel" |
30 |
30 |
31 val release_snapshot = Path.explode("~/html-data/release_snapshot") |
31 val devel_dir = Path.explode("~/html-data/devel") |
32 |
32 val release_snapshot = devel_dir + Path.explode("release_snapshot") |
33 val build_log_snapshot = Path.explode("~/html-data/build_log.db") |
33 val build_log_snapshot = devel_dir + Path.explode("build_log.db") |
34 |
34 |
35 val jenkins_jobs = List("isabelle-nightly-benchmark", "identify") |
35 val jenkins_jobs = List("isabelle-nightly-benchmark", "identify") |
36 |
36 |
37 |
37 |
38 |
38 |