equal
deleted
inserted
replaced
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 release_snapshot = Path.explode("~/html-data/release_snapshot") |
32 |
32 |
33 val jenkins_jobs = List("isabelle-nightly-benchmark") |
33 val jenkins_jobs = List("isabelle-nightly-benchmark", "identify") |
34 |
34 |
35 val build_log_snapshot = Path.explode("~/html-data/build_log.db") |
35 val build_log_snapshot = Path.explode("~/html-data/build_log.db") |
36 |
36 |
37 |
37 |
38 |
38 |