| Wed, 30 Sep 2020 13:40:42 +0000 | wenzelm | support arm64-linux; | changeset | files |
| Wed, 30 Sep 2020 13:20:33 +0000 | wenzelm | detect arm64-linux platform; | changeset | files |
| Wed, 30 Sep 2020 18:37:22 +0200 | desharna | Effectively disable timeout for smt method/tactic | changeset | files |
| Tue, 08 Sep 2020 11:32:57 +0200 | desharna | [mirabelle] add initial documentation in Sledgehammer's doc | changeset | files |
| Tue, 29 Sep 2020 20:08:08 +0200 | wenzelm | clarified names; | changeset | files |
| Tue, 29 Sep 2020 20:00:59 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 29 Sep 2020 19:54:59 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 29 Sep 2020 19:49:25 +0200 | wenzelm | formal platform information, notably for ssh; | changeset | files |