equal
deleted
inserted
replaced
11 import scala.collection.immutable.SortedMap |
11 import scala.collection.immutable.SortedMap |
12 |
12 |
13 |
13 |
14 object AFP |
14 object AFP |
15 { |
15 { |
16 val repos_source = "https://isabelle.sketis.net/repos/afp-devel" |
|
17 |
|
18 val groups: Map[String, String] = |
16 val groups: Map[String, String] = |
19 Map("large" -> "full 64-bit memory model or word arithmetic required", |
17 Map("large" -> "full 64-bit memory model or word arithmetic required", |
20 "slow" -> "CPU time much higher than 60min (on mid-range hardware)", |
18 "slow" -> "CPU time much higher than 60min (on mid-range hardware)", |
21 "very_slow" -> "elapsed time of many hours (on high-end hardware)") |
19 "very_slow" -> "elapsed time of many hours (on high-end hardware)") |
22 |
20 |