2021-02-22 | wenzelm | clarified signature: process_result timing from Isabelle/Scala; | changeset | files |
2021-02-22 | haftmann | NEWS | changeset | files |
2021-02-22 | haftmann | dedicated locale for preorder and abstract bdd operation | changeset | files |
2021-02-22 | haftmann | get rid of traditional predicate | changeset | files |
2021-02-21 | wenzelm | proper treatment of process_result; | changeset | files |
2021-02-21 | wenzelm | more accurate process_result in ML, corresponding to Process_Result in Scala; | changeset | files |
2021-02-21 | wenzelm | clarified: proper trim_line for error; | changeset | files |
2021-02-21 | wenzelm | unused; | changeset | files |
Loading... |