equal
deleted
inserted
replaced
8 |
8 |
9 |
9 |
10 object Component_E { |
10 object Component_E { |
11 /* build E prover */ |
11 /* build E prover */ |
12 |
12 |
13 val default_version = "3.1" |
13 val default_version = "3.2" |
14 val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD" |
14 val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD" |
15 |
15 |
16 def build_e( |
16 def build_e( |
17 version: String = default_version, |
17 version: String = default_version, |
18 download_url: String = default_download_url, |
18 download_url: String = default_download_url, |